Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2002-03-19 (23:46)
From: Fermin Reig <reig@i...>
Subject: Re: [Caml-list] Functorizing large collections of modules

> 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.

Hope that helps,
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: