29 Mar
2007
29 Mar
'07
10:23 a.m.
Are they for working around some problems of HM type systems or do they give Haskell super-language powers? I guess I could answer these questions if I understood what FD and GATDs are all about, but I'm not just there yet. :-)
When you are done with furniture and decide to help us with abstract algebra then you will benefit from GADT. But curiosity shouldn't wait : http://www.cs.nott.ac.uk/~pni/Papers/Notes/GADTs.html Perhaps the proverbial cat didn't know that:-) Cheers, -Andrzej