On Tue, 29 Apr 2003, Dimitri Timofeev wrote:
> Hello All!
> 
> What is the current state of G'Caml? 

The prototype top-level is almost two years old. It's only for playing in the 
top level, you can't use the module system. Still, it's pretty cool. Having 
all of those features in a future Caml will be a major leap for ML. It doesn't 
just satisfy the simple desire for overloading + and print and all that, but 
allows you to write some pretty wild functions in a  type safe manner!

> Will generics ever be included into OCaml, 

I suspect so, since safe value IO is a very high priority, and my understanding 
is that once that is in that generics is not a huge addition.  

The big question is: when? I guess we'll know when it happens. This is one of 
my most desired language enhancements too. 

> or is there any patch for OCaml 3.0x which support it?

Not that I know of.

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