Sat Jan 22 11:34:19 EST 2011

Natural rise of partial continuations

By introducing the `with-num' function that creates the dynamic
context for the abstract domain implementing the `num^' interface, and
introducing and the `num-snarf' macro that allows the evaluation of an
arbitrary expression in the context fo an instantiated model +
particular abstract num^ domain, it becomes clear that simple closures
will not work any more: a closure created inside `with-num' cannot be
exported outside.  However, partial continuations would still work as
they capture this context.

So indeed, partial continuations seem to be a natural solution to
context-dependent evaluation [1].

[1] http://okmij.org/ftp/Computation/Generative.html#circle-shift