Why is a monad like a writing desk?
A presentation by Carin Meier at Clojure/West. Only time I've been accused of writing poetry. Spotted by Mitch Wand.
Great, but why does the presentation say that a Kleisli-triple is an endofunctor together with two natural transformations? Formally, it isn't. If you squint just enough, yeah, it all falls into place, but I do not understand, why some people keep "abusing" these definitions.
Its Eugenio Mogi and not Engenio (slide around 5:19). On the issue of the name one could look at http://en.wikipedia.org/wiki/Eugene_%28given_name%29Post a Comment