I've always found Bruce Eckel's Thinking in Java the best introductory
book to the practice of object oriented programming and Java. There's a
sample online http://www.mindviewinc.com/TIJ4/BookSampleDownload.php
Whether this is in concordance with FP principles or not is a different
thing, but
You may try Pierce's Basic Category Theory for Computer Scientists or
Awodey's Category Theory, whose style is rather introductory. Both of them
(I think) have a chapter about functors where they explain the Hom functor
and related topics.
Alvaro.
2010/2/2 Mark Spezzano
Hi,
I'm trying to characterise some strict monads to work with a particular
lambda-calculus evaluator, as an alternative to CPS monad.
In the thread Stupid question #852: Strict monad the implementation of
some strict monads (and pseudo-monads, not meeting the identity laws) is
discussed. It's