Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Re: findlib-0.8.1 and ocaml-3.07+beta1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Karl Zilles <zilles@1...>
Subject: Re: [Caml-list] Re: findlib-0.8.1 and ocaml-3.07+beta1
james woodyatt wrote:
> I'm specifically excited about the polymorphic 
> generalization of covariant parts of expansive expressions.  

I read about this in the changes document, but I'm unable to wrap my 
head around it.

 > For instance, if f: unit -> 'a list, "let x = f ()"
 > gives "x" the generalized type forall 'a. 'a list, instead of '_a list
 > as before.

Can someone simplify this for me?  Under what circumstances would this 
be useful?

Karl

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