
13 Jun
2007
13 Jun
'07
8:17 p.m.
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*