Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Functorizing large collections of modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Fermin Reig <reig@i...>
Subject: Re: [Caml-list] Functorizing large collections of modules

> From: "Yaron M. Minsky" <yminsky@cs.cornell.edu>
>
> 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