Re: first class modules (was: alternative module systems)

[Brian Rogoff <bpr@best.com>]

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