[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:
> http://www.cis.upenn.edu/~bcpierce/tapl/
> 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 mailing list