Fri, 29 Mar 2002 05:43:40 -0800 (PST)
I have decided to try and understand the type
system of haskell with extensions. As far as I
can tell, the following set of extensions has
been included, for example in ghc:
multiparameter type classes
explicit universal quantification
scoped type signatures
funtional dep?? Etc
There is probably some overlap, and
probably missed a few, as i do not understand
what all these things do! !
How do you get started learning all this? which of
these is the most important? Is there
a paper out there that explains most or all of these
extensions and why you would want them and HOW the
heck they work together?
Do You Yahoo!?
Yahoo! Greetings - send holiday greetings for Easter, Passover