[plt-scheme] R6RS exception handling and dynamic extent [was: SXML for R6RS]

On Fri, Jul 11, 2008 at 9:13 AM, Derick Eddington
<derick.eddington at gmail.com> wrote:
> On Thu, 2008-07-10 at 09:42 -0500, Robby Findler wrote:
>> The operational semantics of R6 indicates that there is no
>> exit/re-enter for raise-continuable (altho it only covers
>> with-exception-handler, raise and raise-continuable, not guard).
>
> OK, good.  (But I wish guard was covered).  Thanks.  I don't know
> operational semantics language yet :)

The operational semantics is designed (as much as I possibly could) to
be accessible to programmers. It is just is a bunch of rewrites like
"if you have a program that matches this pattern, then after a single
step of computation, it will look like this other pattern".

Also, to help, the semantics is executable, so you can play with
traces of the semantics to see what happens for interesting (small)
examples.

If you do give it a try and have questions, don't hesitate to ask. The
code is at www.r6rs.org.

Robby