Thanks to all who responded to my post RE: type systems... If anyone else was wondering about this stuff, I found that one way to get a handle on the basics was to read "Types and Programming" by Pierce. It doesnt really talk about haskell, and its somewhat technical, but it was the most practical style book I could find :). I am still working through it. In any event, these various extensions don't seem so esoteric to me any more. Esp. explicit universal quantification. I never needed it before... but now it seems like an obvious generalization :) Cheers! --- Ronald Legere <rjljr2@yahoo.com> wrote:
Greetings. 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 constructor classes existential types 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! ! My question: 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?
Ron Legere
__________________________________________________ Do You Yahoo!? Yahoo! Greetings - send holiday greetings for Easter, Passover http://greetings.yahoo.com/ _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
__________________________________________________ Do You Yahoo!? Yahoo! - Official partner of 2002 FIFA World Cup http://fifaworldcup.yahoo.com