Type extensions

[Ronald Legere]

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