Hi Bulat,
> 2) they all say that GADT is great, but i personally don't "feel"
> GADTs. can anyone write a paper about it for beginners like me,
> or may be just collect examples of using GADT in real programs?
I wrote a book chapter on GADTs a while ago, called "Fun with
phantom types", see
http://www.informatik.uni-bonn.de/~ralf/publications.html#B4
It's not aimed at beginners though. [Furthermore, the syntax for GADTs
is a bit different.]
Cheers, Ralf
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
