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
practi
On Friday, March 29, 2002, 14:43 CET Ronald Legere wrote:
> [...]
> As far as I can tell, the following set of extensions has been included,
> for example in ghc:
>multiparameter type classes
>constructor classes
Type classes can be seen as a specific kind of constructor classes because
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
