> 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/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
