[Haskell-cafe] New slogan for haskell.org

[Jonathan Cast]

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