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 .