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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: brogoff@s...
Subject: Re: [Caml-list] GCaml
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 Archives:
Bug reports: FAQ:
Beginner's list: