[Haskell-cafe] Can every monad can be implemented with Cont?
(was: New slogan for haskell.org)
Albert Y. C. Lai
trebla at vex.net
Sat Oct 13 12:28:38 EDT 2007
jeff p wrote:
> I think this is referring to Andrzej Filinski's paper "Representing
> Layered Monads" in which it shown that stacks of monads can be
> implemented directly (no layering) by using call/cc and mutable state.
I have been unable to see how to bring its crucial "reify" and "reflect"
to Haskell. In particular reflect:
reflect :: m a -> a
It looks very magical.
More information about the Haskell-Cafe