From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA03472; Sat, 17 Nov 2001 15:56:11 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA03240 for ; Sat, 17 Nov 2001 15:56:10 +0100 (MET) Received: from staff.cs.usyd.edu.au (staff.cs.usyd.edu.au [129.78.8.1]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id fAHEu4v06215 for ; Sat, 17 Nov 2001 15:56:08 +0100 (MET) Received: from hons.cs.usyd.edu.au. by staff.cs.usyd.edu.au.; Sun, 18 Nov 2001 01:55:59 +1100 Received: from localhost (mrak@localhost) by hons.cs.usyd.edu.au (8.9.3/8.9.3) with ESMTP id BAA28974 for ; Sun, 18 Nov 2001 01:55:59 +1100 X-Authentication-Warning: hons.cs.usyd.edu.au: mrak owned process doing -bs Date: Sun, 18 Nov 2001 01:55:59 +1100 (EST) From: Mark Wotton To: caml-list@inria.fr Subject: Re: [Caml-list] [Q]: Co(ntra)variance and subtyping? In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 18 Nov 2001, Mark Wotton wrote: > On Fri, 16 Nov 2001, Clemens Hintze wrote: > > > Two things I would like to ask you right now: > > > > - What does subtyping exactly mean in OCaml resp. functional > > programming? > > - What means covariance and contravariance of types and subtypes? > > Not being an Ocaml guru, I shan't attempt the first question. > The second's pretty easy, though: covariance is the sane way of doing OO, > and contravariance is bizarre. (Right, if there's any Eiffel devotees on > here, I've just started a flamewar. :) Of course, in a post talking about someone else's English, it's almost inevitable that I'm going to get it wrong myself. s/there's/there are/g. mrak looking forward to the mistake in this one. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr