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 HAA31804; Tue, 25 May 2004 07:25:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA31753 for ; Tue, 25 May 2004 07:25:44 +0200 (MET DST) Received: from a.mx.polytechnique.org (a.mx.polytechnique.org [129.104.30.34]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4P5PgSH010231 for ; Tue, 25 May 2004 07:25:43 +0200 Received: from localhost (localhost [127.0.0.1]) by djali.m4x.org (Postfix) with ESMTP id CF0BA3326B for ; Tue, 25 May 2004 07:25:42 +0200 (CEST) Received: from djali.m4x.org ([127.0.0.1]) by localhost (djali [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 07494-06 for ; Tue, 25 May 2004 07:25:42 +0200 (CEST) Received: from charm.inrialpes.fr (pasteur-4-82-224-181-11.fbx.proxad.net [82.224.181.11]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTP id 595CF331EF for ; Tue, 25 May 2004 07:25:42 +0200 (CEST) Received: by charm.inrialpes.fr (Postfix, from userid 1000) id 467A6204BDA; Tue, 25 May 2004 07:25:41 +0200 (CEST) Date: Tue, 25 May 2004 07:25:41 +0200 From: Alan Schmitt To: Ocaml Subject: Re: [Caml-list] Large projects in OCaml Message-ID: <20040525052541.GD31669@alan-schm1p> Mail-Followup-To: Ocaml 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> <20040524162002.A19967@pauillac.inria.fr> <40B2276F.40902@baretta.com> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="TIEGfCGDzZzDroj5" Content-Disposition: inline In-Reply-To: <40B2276F.40902@baretta.com> X-Editor: Vim http://vim.sf.net/ X-Info: http://pauillac.inria.fr/~aschmitt/ X-Operating-System: Linux/2.6.5-gentoo-r1 (i686) X-Uptime: 07:17:29 up 1 day, 21:08, 2 users, load average: 0.04, 0.23, 0.19 User-Agent: Mutt/1.5.6i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) X-Miltered: at concorde with ID 40B2D8D7.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 baretta:01 baretta:01 model:01 model:01 modelling:01 ocaml:01 ocaml:01 alex:01 alex:01 wrote:03 wrote:03 seems:05 shared:05 shared:05 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --TIEGfCGDzZzDroj5 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Alex Baretta (alex@baretta.com) wrote: > Xavier Leroy wrote: >=20 > >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 >=20 >=20 > This is a very interesting remark. Indeed, static type safety seems=20 > rather incompatbile with a component model, yet, I'm sure someone is=20 > doing research on the subject. Can anyone point me to the relevant materi= al? Hi, I am currently working on a process calculus that aims at modelling the=20 Fractal component model (see http://fractal.objectweb.org for more info=20 about this component model). We want to use this to build type systems=20 and other verification tools, as well as doing an implementation in our =20 favorite language (tm) (it has two implementations for the moment: one=20 in Java, and one in C). We don't have much to read yet, we are currently finishing up a tech=20 report about the calculus itself. I can announce it here when we're=20 done. Alan Schmitt --=20 The hacker: someone who figured things out and made something cool happen. =2EO. =2E.O OOO --TIEGfCGDzZzDroj5 Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAstjVNIAqM4hFUWgRAiqlAJwPO806thxFuD6jbuao5BKZItZfzACfdNNZ eNw4OrSM16xmEaXCQzyR8cs= =/JNa -----END PGP SIGNATURE----- --TIEGfCGDzZzDroj5-- ------------------- 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