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
http://www.ffconsultancy.com/products/ocaml_for_scientists