Paul Johnson wrote:
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.
...is everybody else looking at a different web page to me? *blinks*
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe