[ The Types Forum (announcements only),
As many of you know, the R6RS has recently been ratified by
the Scheme community. Along with a much larger language, the
Report now includes an operational semantics for a large
portion of the language including unspecified order of
evaluation, continuations and dynamic-wind, multiple values,
quote, exceptions, eqv, letrec, etc (the only major, missing
features are macros and the numeric tower).
The semantics is a Felleisen/Hieb-style reduction semantics
and is implemented in PLT Redex. The executable semantics
comes with a large test suite that helps to ensure the
semantics models the intended language.
A Journal of Functional Programming paper on the semantics
is about to appear (in addition to the semantics, it shows
how the individual features work in a series of smaller
calculi and how they combine seamlessly into the large
Draft JFP Paper:
This is joint work with Jacob Matthews.