Hello,

having just looked at a few examples of the new module system as
implemented by Claudio Russo in Moscow ML, I wonder whether people at INRIA
have already considered it?

It supports higher order functors, mutually recursive modules, even first
class modules. The module examples in the Moscow ML distribution also
demonstrate the new capabilites using the bootstrapping methods explained
in Okasaki's book on "Purely Functional Datastructures". This is really
neat stuff!

I have no idea whether there are any caveats to this solution, but it looks
pretty general. Any comments whether something similar could be implemented
in OCaml? As it seems, the solution is a true superset of the previous
module system used in SML.

Best regards,
Markus Mottl

-- 
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl