SRFI 172: Two Safer Subsets of R7RS Arthur A. Gleckler 02 Jul 2019 21:43 UTC
Scheme Request for Implementation 172,
"Two Safer Subsets of R7RS,"
by John Cowan,
is now available for discussion.
Its draft and an archive of the ongoing discussion are available
You can join the discussion of the draft by filling out the
subscription form on that page.
You can contribute a message to the discussion by sending it to
Here's the abstract:
This SRFI provides two libraries for use with R7RS that provide
a way to sandbox the eval procedure to make it safer to use in
evaluating Scheme expressions of doubtful provenance. The
intention is to call eval, passing it an S-expression
representing a Scheme procedure and the environment defined by
one of these libraries. Since code evaluated by eval runs in a
null lexical environment, the resulting procedure can then be
invoked with less concern about possible side effects.