[Haskell-cafe] Very freaky

[Tony Morris]

> 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
http://tmorris.net/