Le 5 févr. 08 à 11:12, Vincent Hanquez a écrit :

> looking at the page, I find a proposal (beginning), and a lots of  
> people
> disaggreeing at the end.

I agree with this I think it should be moved to a "rejected proposals"  
section. When I find some time I will add a preamble explaining why it  
was rejected.

> I can see lots of people are concerned by using polymorphic variant  
> (and
> I certainly agree with those), and people asking for a monadic approch
> (haskell's either like).

Still I think this is a little bit sad. Using polymorphic variants  
isn't that bad at all as long as we just use the following _closed_  
type [ `Value of  ... | `Error of ... ]. This would allow us to move  
forward despite that fact that Pervasives is frozen (and no I'm not  
interested in forking it). Sure we can have monadic stuff, new types,  
new infrastructure etc. but I try to design solely within the  
constraint of the ocaml system as it stands because I know that's  
something has been there for more than 10 years and continues to be  
maintained. Polymorphic variants have the advantage to allow us to  
standardize across modules without needing changes to the ocaml system.

Best,

Daniel