Hello, > >> Didn't someone already prove all monads can be implemented in terms > >> of Cont? > >> > > > > Cont and StateT, wasn't it? > > And the schemers have no choice about running in StateT :) > > You sure? I want to see the proof :) > 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.
-Jeff _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
