[Haskell-cafe] Very freaky
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
> writing is very clear, but occasionally the exercises make the problem
> harder than it is and it gets a little confusing. A friend of mine has the
> same problem with his category theory book.
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.
More information about the Haskell-Cafe