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] recursive modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-05-16 (16:31)
From: brogoff@s...
Subject: Re: [Caml-list] recursive modules
On Mon, 5 May 2003, Markus Mottl wrote:
> On Mon, 05 May 2003, Xavier Leroy wrote:
> > The other point worth mentioning is that the detection of ill-founded
> > recursive definitions (definitions that have no fixpoint in a
> > call-by-value evaluation regime) is not completely static and may
> > cause an "Undefined" exception to be thrown at program initialization
> > time.
> Guaranteed at program initialization time? But how about local modules?

Unfortunately local recursive modules are ruled out by syntax now. Any reason 
not to allow them? 

I agree with Markus' comment about having this in the main distribution. 
I made an mrec version, and I'm testing, but more people will thrash on 
this if it's part of the language. 

It's utility can't be denied, as it fixes the main problem with the ML 
module system, and just happens to sneak polymorphic recursion capabilities 
into OCaml (yes, I know they exist already because of first class 
polymorphism). I hope you decide to include this in 3.07. 

-- Brian

> > No decision has been taken yet concerning the possible integration of
> > this extension in a future release of OCaml.
> This is of course a matter of how progressive (aggressive?) you want the
> main distribution to be. I think that more exotic but otherwise usable
> features in a distribution won't harm as long as they do not affect
> normal work. Why not add this as usual to the "language extensions"
> section of the manual?  People who want to be on the safe side are not
> forced to use anything that's in there.
> This would make it much easier to get feedback, because only few people
> are daring enough to test things with some CVS-branch.
> Regards,
> Markus Mottl
> -- 
> Markus Mottl
> -------------------
> To unsubscribe, mail Archives:
> Bug reports: FAQ:
> Beginner's list:

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