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

Stefan Holdermans stefan at cs.uu.nl
Tue Sep 25 17:11:49 EDT 2007


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.



More information about the Haskell-Cafe mailing list