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

Philippa Cowderoy flippa at flippac.org
Tue Sep 25 17:04:49 EDT 2007

On Tue, 25 Sep 2007, Seth Gordon wrote:

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

Basic Category Theory depends on your mindset somewhat. TaPL is great 
though, and frequently recommended. The follow-up is also good.

> (Do they have problem sets that can be checked by either looking up 
> answers in The Back of the Book, or by trying to compile/run some code 
> that the student writes?)

TaPL does.

flippa at flippac.org

A problem that's all in your head is still a problem.
Brain damage is but one form of mind damage.

More information about the Haskell-Cafe mailing list