From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA21924 for caml-red; Tue, 6 Feb 2001 16:52:13 +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 SAA09618 for ; Mon, 5 Feb 2001 18:33:34 +0100 (MET) Received: from localhost.localdomain (cartman97.zip.com.au [61.8.20.225]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f15HXV909624 for ; Mon, 5 Feb 2001 18:33:32 +0100 (MET) Received: from ozemail.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id EAA08719; Tue, 6 Feb 2001 04:30:05 +1100 Message-ID: <3A7EE31D.BA130438@ozemail.com.au> Date: Tue, 06 Feb 2001 04:30:05 +1100 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Stephan Tolksdorf CC: caml-list@inria.fr Subject: Re: Unbound type constructor References: <9114178788.20010203181656@gmx.de> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr Stephan Tolksdorf wrote: > PS: Naive question, why aren't there type members in OCaml classes? Because the primary unit of modularity in Ocaml is the module. In many OO languages, it is the class, and one is forced to squeeze all sorts of things into classes that don't belong there. -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net