[Haskell-cafe] Musings on type systems
Albert Y. C. Lai
trebla at vex.net
Fri Nov 19 17:14:44 EST 2010
On 10-11-19 04:39 PM, Matthew Steele wrote:
> TAPL is also a great book for getting up to speed on type theory:
> I am no type theorist, and I nonetheless found it very approachable.
TAPL is surprisingly easy-going. It is long (many pages and many
chapters, each chapter short), but it is the good kind of long: long but
gradual ramp to get you to the hard stuff. Its first chapter explains
convincingly why you should care about types to begin with (summary: a
lightweight formal method).
But it is not entirely for Haskell. It covers subtyping, and it doesn't
cover type classes.
It is also too bulky to be mobile (because it's long).
More information about the Haskell-Cafe