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 QAA20473; Mon, 24 May 2004 16:20:07 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA20547 for ; Mon, 24 May 2004 16:20:06 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4OEK3EV022538; Mon, 24 May 2004 16:20:03 +0200 Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA20576; Mon, 24 May 2004 16:20:02 +0200 (MET DST) Date: Mon, 24 May 2004 16:20:02 +0200 From: Xavier Leroy To: skaller Cc: Jacques GARRIGUE , jdh30@cam.ac.uk, caml-list Subject: Re: [Caml-list] Large projects in OCaml Message-ID: <20040524162002.A19967@pauillac.inria.fr> References: <200405211228.34673.jdh30@cam.ac.uk> <20040524.120703.46614549.garrigue@kurims.kyoto-u.ac.jp> <1085376050.6065.230.camel@pelican.wigram> <20040524.211426.68536843.garrigue@kurims.kyoto-u.ac.jp> <1085406873.6065.272.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <1085406873.6065.272.camel@pelican.wigram>; from skaller@users.sourceforge.net on Mon, May 24, 2004 at 11:54:34PM +1000 X-Miltered: at nez-perce with ID 40B20493.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 end-users:99 scream:01 model:01 discovery:99 low-level:01 dlls:01 model:01 ocaml:01 ocaml:01 interfaces:01 interfaces:01 dll:03 mechanisms:03 dynamic:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > What matters to end-users is shared libraries > which Ocaml can't build at all. The real world out > there demands *components* they can plug together. The next time I read a sentence starting with "the real world", I think I'm going to scream. At any rate, your jump from shared libraries to components is a non-sequitur. Shared libraries are a spectacularly poor component model (no multiple interfaces, almost no dynamic discovery of interfaces, no distribution transparency of any kind, etc). It is true that some component models use shared libraries as one of their low-level implementation mechanisms, e.g. COM components are often presented as Windows DLLs. But these are shared libraries of a very constrained form, and (for instance) OCaml has no problems generating a DLL that encapsulates OCaml code as a COM component. A good component model for OCaml (and other languages): that would be interesting. Shared libraries for the sake of shared libraries: that isn't interesting in the least. - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners