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-31 (06:32)
From: Oliver Bandel <oliver@f...>
Subject: GADT?? (Re: [Caml-list] output type)
On Wed, Mar 30, 2005 at 10:49:42AM -0800, 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 know exactly what you mean :-).
> 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, I first read about them from Ralf Hinze's
> "Fun With Phantom Types"  where he suggests using them to do away with type
> classes in Haskell. One problem with all of these "sexy types" is that as you
> cram all of this into a language, it gets very complex if you don't throw
> something else out. What should get thrown out of OCaml if GADTs get in? :-/

What is/what are GADT?!