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 SAA06689; Tue, 20 Mar 2001 18:10:23 +0100 (MET) 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 SAA06899 for ; Tue, 20 Mar 2001 18:10:22 +0100 (MET) Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2KHAKX11594; Tue, 20 Mar 2001 18:10:20 +0100 (MET) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id JAA03916; Tue, 20 Mar 2001 09:10:19 -0800 (PST) Date: Tue, 20 Mar 2001 09:10:19 -0800 (PST) From: Brian Rogoff To: Tom Hirschowitz cc: caml-list@inria.fr Subject: Re: [Caml-list] good reference on modules? In-Reply-To: <3AB715B6.FAA36612@inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=X-UNKNOWN Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk OK, as long as we are at it, the first few chapters of Mark Lillibridge's= =20 thesis are also acceptable to the lay reader, though reading the whole=20 thing is overkill for the "working programmer" (as opposed to the=20 unemployed type theorist ;-) This page has just the parts that Chris (and probably others) want to read.=20 http://citeseer.nj.nec.com/lillibridge97translucent.html Since lots of people have issues with the amount of documentation, it might be helpful if, once that person has an answer to their question,=20 they write the text that they wish they'd seen in the first place, and=20 submit it for inclusion in the Caml docs. I'm thinking of doing something like that for the various "mutual recursion" issues, if there is interest. Of course, I hope Tom and crew make such a document irrelevant by fixing=20 the problems... -- Brian On Tue, 20 Mar 2001, Tom Hirschowitz wrote: > I liked too the three first chapters of Claudio Russo's thesis=20 >=20 > http://www.dcs.ed.ac.uk/home/cvr/ECS-LFCS-98-389.html >=20 > for a more abstract but very clear analysis. >=20 > I'm just reading the next ones at the moment. >=20 > Brian Rogoff a =E9crit : > >=20 > > On Wed, 14 Mar 2001, Chris Hecker wrote: > > > > > > Coming from a C++ background, my idea of a module is a text file on t= he hard disk. Obviously, they're a bit more powerful than that in OCaml. = Is there a good reference (book, tutorial paper, website, whatever) that ta= lks about modules in an in-depth way? I've read the chapter 4 on them in t= he help materials, and I want more. I was trying to understand the group e= xample someone posted to the list a few days back, and I think I need to fi= nd a good book or something to understand the real power of modules. > > > > > > Thanks, > >=20 > > Some guy wrote a paper I found helpful, but the example code is in a ve= ry > > strange language that nobody uses, instead of C++ or Java. > >=20 > > * A modular module system, Journal of Functional Programming 10(3)= , > > 2000. Full source code available in the Web appendix. > >=20 > > You can get it from here > >=20 > > http://pauillac.inria.fr/~xleroy/ > >=20 > > -- Brian > >=20 > > ------------------- > > To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml= =2Einria.fr > ------------------- > To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.i= nria.fr >=20 ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr