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 JAA04361 for caml-red; Wed, 10 Jan 2001 09:33:16 +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 BAA21201 for ; Wed, 10 Jan 2001 01:40:14 +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 f0A0eCP22908; Wed, 10 Jan 2001 01:40:13 +0100 (MET) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id QAA23395; Tue, 9 Jan 2001 16:40:11 -0800 (PST) Date: Tue, 9 Jan 2001 16:40:11 -0800 (PST) From: Brian Rogoff To: Xavier Leroy cc: Alain Frisch , Caml list Subject: Re: first class modules (was: alternative module systems) In-Reply-To: <20010108114203.E13356@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis@pauillac.inria.fr On Mon, 8 Jan 2001, Xavier Leroy wrote: > > a few month ago, Markus Mottl pointed to this mailing list the work by > > Claudio Russo on first class modules. There were no answer about plans to > > implement such a system for OCaml. > > Well, it seems like Russo's first-class modules could be added with > relatively little effort, if there is a sufficient need for them. Does this include the recursive modules aspect of Moscow ML too? That's where I feel the shoe pinching. I realize that at least one big name in the ML community dislikes the notion and admittedly my main issue could be resolved by a recursion between a type definition and a module but it can also be fixed with recursive modules. The problems arise fairly frequently. Do the implementors have any impressions as to whether the Moscow ML approach or the "mixin module" approach discussed here will be used to address this problem? -- Brian