[Haskell-cafe] Pierce on type theory and category theory

[Stefan Holdermans]

Seth,

You asked:

>> Are Benjamin C. Pierce's _Types and Programming Languages_ and/or  
>> _Basic
>> Category Theory for Computer Scientists_ suitable for self-study?

And Tim answered:

> Graduate-level textbooks don't have answers in the back of the book,
> as a rule. In TAPL, some of the questions involve writing code, but
> others don't. If you're approaching this book, you ought to be at a
> point where you can check your own sanity. Better yet, find a study
> partner to discuss the problems with!

That said, TAPL does come with solutions for the better part of the  
exercise set.

Cheers,

   Stefan