[Haskell-cafe] Very freaky

Tony Morris tmorris at tmorris.net
Tue Jul 10 18:52:50 EDT 2007

> I'd like throw in another vote for TAPL.  I've been reading it lately
> and it
> honestly makes type theory feel fairly simple and natural.  I think
> Pierce's
> writing is very clear, but occasionally the exercises make the problem
> sound
> harder than it is and it gets a little confusing.  A friend of mine has the
> same problem with his category theory book.

Same here!
I found his Category Theory book quite difficult and I will have to
revisit it. I have only just started TaPL, but I am enjoying it thoroughly.

Tony Morris

More information about the Haskell-Cafe mailing list