Hi Frank, It you be excellent to have a workshop paper on partial continuations. Here are the infos: http://www.esug.org/wiki/pier/Conferences/2014/IWST14 Cheers, #Luc 2014-03-26 14:25 GMT+01:00 Frank Shearar <frank.shearar@gmail.com>:
Hi Stef,
Thanks for the kind words! How would I go about doing that?
frank
On 26 March 2014 07:26, Pharo4Stef <pharo4Stef@free.fr> wrote:
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...
frank
Cheers, -- Pavel
-- best, Eliot