On Sun, Oct 16, 2005 at 12:48:28PM +0400, Bulat Ziganshin wrote: > > btw, from where yourself studied what is GADT and how it can be used?
I read Simons' paper on GADTs and didn't understand from that how it could be used for anything other than ASTs and interpereters. Most of what I know about GADTs I learned at ICFP from various talks and moreso from asking questions of people who knew more about them than we did. And lots of experimentation. We (myself, Igloo and Heffalump) spent much of the second half of the conference experimenting with GADTs and asking for help when we got stuck. In some ways they're hard to use (especially when trying to enforce weird type constraints), but in most other ways they're very simple, which is what makes them so beautiful. -- David Roundy http://www.darcs.net _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe