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.
Paul.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
