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 RAA02450; Mon, 17 May 2004 17:22:24 +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 RAA02438 for ; Mon, 17 May 2004 17:22:23 +0200 (MET DST) Received: from plover.csun.edu (plover.csun.edu [130.166.1.24]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4HFMMSH018555 for ; Mon, 17 May 2004 17:22:22 +0200 Received: from puffin.csun.edu (puffin.csun.edu [130.166.1.21]) by plover.csun.edu (MOS 3.4.6-GR) with ESMTP id BDR38436; Mon, 17 May 2004 08:22:11 -0700 (PDT) Received: from [130.166.10.91] (s010n091.csun.edu [130.166.10.91]) by puffin.csun.edu (MOS 3.4.4-GR) with ESMTP id BTH05962 (AUTH eric); Mon, 17 May 2004 08:22:10 -0700 (PDT) In-Reply-To: <20040517.165146.60944531.andrieu@ijm.jussieu.fr> References: <20040517102254.A22324@pauillac.inria.fr> <50A49C6A-A80E-11D8-B8C2-000A95A1E69A@csun.edu> <20040517.165146.60944531.andrieu@ijm.jussieu.fr> Mime-Version: 1.0 (Apple Message framework v613) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr From: Eric Stokes Subject: Re: [Caml-list] Ocaml shared libraries Date: Mon, 17 May 2004 08:22:08 -0700 To: Olivier Andrieu X-Mailer: Apple Mail (2.613) X-Miltered: at concorde with ID 40A8D8AE.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 andrieu:01 2004:99 brittle:01 ocaml:01 olivier:02 olivier:02 thread:02 wrote:03 anyway:05 seems:05 seems:05 mean:05 shared:05 shared:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hah, I scoured the list archives for weeks looking for just that message :P, and I didn't find it. I guess my search skills are unl33t. Anyway, that answers a lot of my questions. It seems the trade offs do not favor shared libraries at all. On May 17, 2004, at 7:51 AM, Olivier Andrieu wrote: > Eric Stokes [Mon, 17 May 2004]: >> Yes, I realized when I started this thread that all of these issues >> would arise. I know it is a nasty problem to do type safe shared >> libraries. The feature I am most interested in is #2, >> upgradeability, #3 is a close second. So building a less brittle >> but still type safe linker would be necessary. My question really >> is, do you all have any interest in doing so. It seems like it >> would be an interesting project with practical benefits. > > Hi, > > these questions have already been raised on the list (it does not mean > they're not worthy of being mentionned again :), so you may be > interested by this in-depth reply from Xavier: > > http://tinyurl.com/2ywsu > > -- > Olivier ------------------- 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