Type extensions
Ronald Legere
rjljr2@yahoo.com
Tue, 4 Jun 2002 11:00:22 -0700 (PDT)
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