Re: Module recursion (Was Re: [Caml-list] Re: Haskell-like syntax)

[brogoff@speakeasy.net]

On Sun, 16 Mar 2003, Markus Mottl wrote:
> On Sat, 15 Mar 2003, brogoff@speakeasy.net wrote:
> > That's not to say I wouldn't like or use a general recursive module feature, 
> > but the full problem seems awfully hard in a (strict, impure) language like ML 
> > and I doubt that I'll see it in OCaml before I retire. 
> 
> Actually, I more often regret the lack of first class modules in OCaml
> rather than module recursion.

I here you, I guess it depends on your style and your applications. I'm 
guessing now, but I think I'd prefer a more powerful record system to 
ease those problems. Currently people use records or objects to workaround 
the lack of first class modules, so I'd look at raising the power of records. 
That said, of course, if we had first class modules I'm sure I'd use them ;-)

> In any case, this seems like a suitable moment for once again suggesting
> that Claudio Russo's module system as implemented in Moscow ML be
> integrated into OCaml :-)

Not quite yet! Google this 

    dreyer "moscow ml" unsound

I'd give the URL but I'm having trouble clipping text in this VNC window on the 
laptop. 

> It would be interesting to learn about future directions concerning the
> type- and the module system. Are there any plans of implementing the
> suggestion above? And how about extensional polymorphism - it seems that
> Jun Furuse's thesis was already finished last December?

Certainly my top request. Those Haskell guys are having too much fun, and it 
isn't because of syntax, or laziness, but because of all of the cool post HM 
type features in the core language. 

-- Brian


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