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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-03-30 (20:05)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] output type
On Wednesday 30 March 2005 19:49, brogoff wrote:
> On Wed, 30 Mar 2005, Jacques Carette wrote:
> > But theory is also advancing rapidly.  Haskell 6.4's inclusion of GADTs
> > in the core language is exerting a powerful pull on me.
> I'm sure you're aware that people at INRIA are working on GADT's as well.
> I have to say, the idea is intriguing...

Would someone be so kind as to enlighten me (and probably a few other people!) 
as to what these intruiging GADT things are and what they're good for? :-)

Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists