12 Oct
2007
12 Oct
'07
8:09 p.m.
allbery:
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?
Cont and StateT, wasn't it? And the schemers have no choice about running in StateT :) -- Don