[Haskell-cafe] New slogan for haskell.org
jonathanccast at fastmail.fm
Fri Oct 12 19:54:30 EDT 2007
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.
But not all of system programming is captured by monads.
More information about the Haskell-Cafe