[Haskell-cafe] Very freaky

[Andrew Coppin]

Tony Morris wrote:
>> 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.
>   

I once sat down and tried to read about Category Theory. I got almost 
nowhere though; I cannot for the life of my figure out how the 
definition of "category" is actually different from the definition of 
"set". Or how a "functor" is any different than a "function". Or... 
actually, none of it made sense.

It didn't sound terribly interesting anyway. I'll stick to group theory...