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

From: Robby Findler (robby at cs.uchicago.edu)
Date: Fri Jul 11 10:18:53 EDT 2008

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)

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


Posted on the users mailing list.