15 Oct
2005
15 Oct
'05
5 p.m.
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