12 Oct
2007
12 Oct
'07
7:54 p.m.
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