12 Oct
2007
12 Oct
'07
7:33 p.m.
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? (here you see why schemers are so wedded to call/cc...) -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH