News for hackers. Stuff that matters.
Re:Monads in pictures by dbaupp on Tuesday August 21, 2012 @06:51AM (#4412122)
I've always liked this visualisation too!

I like to think of fmap as a converting a normal function into a function that operates "through" a functor. This is clearer looking at the Haskell type signature, which can be written as:

  fmap :: (a -> b) -> (f a -> f b)
Re:Monads in pictures by johnpmayer on Tuesday August 21, 2012 @07:19AM (#4412182)
In general, thinking about the different valid rewrites of the type signatures of the various higher order functions in Haskell tends to reveal quite a bit!