[Haskell-cafe] found monad in a comic

Paul Johnson paul at cogito.org.uk
Tue Jun 12 16:47:53 EDT 2007

Marc A. Ziegert wrote:
> <http://xkcd.com/c248.html>
> ( join /= coreturn )
> IMHO this could be a beautiful and easy way to explain monads.
> comments?
I read it as a take on Godel Escher Bach, especially the stuff about 
counterfactual situations.  But you are right.  Actually its more about 
the recursive do notation and fixpoints: you can borrow data from the 
future as long as you are careful.  But yes, they are a form of monad.


More information about the Haskell-Cafe mailing list