[Haskell-cafe] found monad in a comic

Andrew Coppin andrewcoppin at btinternet.com
Wed Jun 13 16:17:43 EDT 2007


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*



More information about the Haskell-Cafe mailing list