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 AAA02135; Wed, 20 Mar 2002 00:46:20 +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 AAA04144 for ; Wed, 20 Mar 2002 00:46:19 +0100 (MET) Received: from tenerife.ics.uci.edu (tenerife.ics.uci.edu [128.195.38.127]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g2JNkIj25770 for ; Wed, 20 Mar 2002 00:46:18 +0100 (MET) Received: (from reig@localhost) by tenerife.ics.uci.edu (8.11.6/8.11.6/SuSE Linux 0.5) id g2JNixp19133; Tue, 19 Mar 2002 15:44:59 -0800 Date: Tue, 19 Mar 2002 15:44:59 -0800 Message-Id: <200203192344.g2JNixp19133@tenerife.ics.uci.edu> X-Authentication-Warning: tenerife.ics.uci.edu: reig set sender to reig@ics.uci.edu using -f From: Fermin Reig To: caml-list@inria.fr CC: yminsky@cs.cornell.edu In-reply-to: <1016580458.10273.46.camel@dragonfly.localdomain> (yminsky@cs.cornell.edu) Subject: Re: [Caml-list] Functorizing large collections of modules References: <1016424584.26193.42.camel@dragonfly.localdomain> <87vgbu2qsd.dlv@wanadoo.fr> <1016453982.27588.53.camel@dragonfly.localdomain> <3C95E312.28961EEF@utu.fi> <1016580458.10273.46.camel@dragonfly.localdomain> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > From: "Yaron M. Minsky" > > The solution suggested below clearly works, but it's just as clearly a > bit of a hack. My feeling is that this is a bit of a fundamental > weakness of ocaml and the module/functor system. OCaml is generally too > module-centric, in that structuring tools are available only up to the > level of modules, and there is no good structure beyond that. > > Another example of this weakness is the lack of support for namespaces.=20 > Again, you can hack namespaces into existence by tossing lots of modules > in the same file, but that's clearly a bad solution. > > Do any of the other MLs fare better in this department? And do people > have good solutions for the namespace problem or the large-scale functor > problem I outlined earlier? > > y SML/NJ provides a very useful way of grouping signatures, structures, functors, etc into libraries. Hierarchical Modularity. Matthias Blume and Andrew W. Appel, ACM Transactions on Programming Languages and Systems, Volume 21, No. 4 (Jul. 1999). This paper and others can be found in Matthias's web page. http://cm.bell-labs.com/cm/cs/who/blume/pub.html Hope that helps, Fermin ------------------- 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