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 <[EMAIL PROTECTED]> 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 > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell __________________________________________________ Do You Yahoo!? Yahoo! - Official partner of 2002 FIFA World Cup http://fifaworldcup.yahoo.com _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell