Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-announce] G'Caml, Caml with Extensional polymorphism extension
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Brian Rogoff <bpr@b...>
Subject: [Caml-list] Re: [Caml-announce] G'Caml, Caml with Extensional polymorphism extension
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