On Tue, 19 Jun 2001, Jun Furuse wrote:
> Hello,
> 
> I'm pleased to announce G'Caml, the experimental extension of
> the extensional polymorphism([1],[2]) to O'Caml, available at
> 
>     http://pauillac.inria.fr/~furuse/generics/

Congratulations, lots of us have been waiting for such an extension. It's 
a bit of a pity that one of the current limitations of the system is 
that it doesn't work with objects, but I suppose you are saving that for
the final merging when you can name the whole thing GO'Caml, which will 
perhaps please some people who aren't satisfied with the current name, 
and opens up lots of opportunities for logos (fan's yelling  "Go Caml
go!", a clever looking Caml playing go, etc :-)

Enough joking, time to play with this new toy...

-- Brian


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr