[Haskell-cafe] found monad in a comic
paul at cogito.org.uk
Tue Jun 12 16:47:53 EDT 2007
Marc A. Ziegert wrote:
> ( join /= coreturn )
> IMHO this could be a beautiful and easy way to explain monads.
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