Re: [Haskell-cafe] found monad in a comic

Dan Piponi wrote: Marc asked: http://xkcd.com/c248.html ( join /= coreturn ) IMHO this could be a beautiful and easy way to explain monads. comments? I'll eat my hat if there isn't a formal way of looking at this. I'm not qualified to put it together coherently but it goes something like

Re: [Haskell-cafe] found monad in a comic

On 6/14/07, Leif Frenzel [EMAIL PROTECTED] wrote: Dan Piponi wrote: Marc said: Unfortunately that interpretation would have to rely on an equivocation of 'accessible'. I was going to deal with that using an isomorphism from the class Metaphor. You know, the one that also contains the map from

Re: [Haskell-cafe] found monad in a comic

Andrew Coppin wrote: ...is everybody else looking at a different web page to me? *blinks* Everybody is interpreting it differently. (As usual.) I see an unsafePerformIO. :) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] found monad in a comic

well, i see sth like this: data IceCream = EmptyCone | Vanilla | Strawberry | Wasabi | ... data Hypothetical a = ... instance Monad Hypothetical where -- one Functor and two Natural Transformations: fmap :: (a - b) - (Hypothetical a - Hypothetical b) return :: a - Hypothetical a join

Re: [Haskell-cafe] found monad in a comic

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

Re: [Haskell-cafe] found monad in a comic

Marc asked: http://xkcd.com/c248.html ( join /= coreturn ) IMHO this could be a beautiful and easy way to explain monads. comments? I'll eat my hat if there isn't a formal way of looking at this. I'm not qualified to put it together coherently but it goes something like this: modal logic has

Re: [Haskell-cafe] found monad in a comic

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

[Haskell-cafe] found monad in a comic

http://xkcd.com/c248.html ( join /= coreturn ) IMHO this could be a beautiful and easy way to explain monads. comments? - marc pgpTFyuRioL8Y.pgp Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] found monad in a comic

On Tue, 2007-06-12 at 04:16 +0200, Marc A. Ziegert wrote: http://xkcd.com/c248.html ( join /= coreturn ) IMHO this could be a beautiful and easy way to explain monads. comments? - marc Reader IceCream ___ Haskell-Cafe mailing list