Le 9 nov. 04, à 00:44, brogoff a écrit :

> I wonder if there is an alternative
> approach being considered to provide some of the desired features, like
> safe value IO, dynamic typing, and overloading?

Although research oriented you may want to have a look at acute, an 
extension of an ocaml core to support, among other things, type safe 
value IO :

<http://www.cl.cam.ac.uk/users/pes20/acute/>

Daniel