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 :: Hypothetical (Hypothetical a) -> Hypothetical a

and this is the eye opener:
knife = join!
there is no unsafePerformIO-alike
coreturn :: Hypothetical a -> a.
that belongs to CoMonads.

you can actually do the same trick like in the comic in RealWorld:
fmap:
 whatever you can do in the real world, that can be done in the Hypothetical 
world, too.
return:
 into an Hypothetical world you can imagine/return everything from the real 
world ...even whole Hypothetical worlds (return (return Wasabi)) and 
world-cutting knifes (return join).
join:
 but the knife/join will never be a .../coreturn, a bridge from any 
Hypothetical world into the RealWorld.
that is what i call a monad.

- marc

P.S.:
i do not understand what the others are interpreting, maybe it is too high for 
me to see any connection between the comic and kripke semantics, higher order 
physics, the different worlds we live in...
for me it is just a little monad like Id without runId.


Am Donnerstag, 14. Juni 2007 21:10 schrieb Albert Y. C. Lai:
> 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
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 

Attachment: pgpKGwNdkYH3Y.pgp
Description: PGP signature

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to