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 MAA10675 for caml-red; Mon, 8 Jan 2001 12:20:59 +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 AAA29853 for ; Mon, 8 Jan 2001 00:27:56 +0100 (MET) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f07NRs508904 for ; Mon, 8 Jan 2001 00:27:54 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id AAA28431; Mon, 8 Jan 2001 00:26:39 +0100 (MET) Date: Mon, 8 Jan 2001 00:26:38 +0100 From: Markus Mottl To: Alain Frisch Cc: Caml list Subject: Re: first class modules (was: alternative module systems) Message-ID: <20010108002638.B25017@miss.wu-wien.ac.at> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: ; from frisch@clipper.ens.fr on Sun, Jan 07, 2001 at 01:20:42 +0100 Sender: weis@pauillac.inria.fr On Sun, 07 Jan 2001, Alain Frisch wrote: > Is there any theoretical work about the integration of such a system to > the OCaml module system ? Any plan to include it in a future release ? I'd surely appreciate the availability of this new module system in OCaml! Just as a quick reminder: Moscow ML implements Claudio Russo's module system with all of its nice features (higher-order and recursive modules; first-class modules). Here the link: http://www.dina.dk/~sestoft/mosml.html - Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl