Hi frank

It would really great if you send an article on this to the ESUG workshop.
I can help reviewing the draft if you want. 
Stef

> Yes: http://ss3.gemstone.com/ss/Control.html
> 
> Last time I checked I did need to add a shim (see the ControlPharo
> package), but it did load cleanly and pass all its own tests.
> 
> Control not only provides a convenient way of making partial
> continuations (of the shift/reset sort, if you're familiar with the
> literature), but also _delimited_ dynamic variables. As soon as you
> start stack-slicing with partial continuations, you quickly find that
> standard implementations of dynamic variables fail in all sorts of
> nasty ways. Fundamentally, "normal" dynamic variables _cannot_ work
> cleanly with partial continuations because they either close over too
> much of the dynamic environment, or too little.
> 
> Here's some reading on the topic:
> 
> [1] http://okmij.org/ftp/Computation/dynamic-binding.html
> [2] http://www.cs.rutgers.edu/~ccshan/dynscope/DDBinding.pdf
> [3] 
> http://www.lshift.net/blog/2012/06/27/resumable-exceptions-can-macro-express-delimited-dynamic-variables
> 
> frank
> 
>>>>> Cheers,
>>>>> -- Pavel
>>>> 
>>>> 
>>> 
>>> 
>>> 
>>> --
>>> best,
>>> Eliot
>> 
>> 
> 


Reply via email to