On Fri, 2007-10-12 at 19:33 -0400, Brandon S. Allbery KF8NH wrote: > On Oct 12, 2007, at 18:35 , Albert Y. C. Lai wrote: > > > You are not expected to be convinced this, but it seems > > continuations completely characterize system programming. :) > > Didn't someone already prove all monads can be implemented in terms > of Cont?
Well, ContT exists, which includes an isomorphic copy of its argument. So, yeah. But not all of system programming is captured by monads. jcc _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
