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
at <>.

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.


SRFI Editor