3 R⁵RS Module Language

#lang r5rs

As a library, r5rs provides the syntactic forms and procedures defined by R⁵RS. When used as a language via #lang, the program is read with the following parameterizations:

(read-case-sensitive #f)

(read-accept-infix-dot #f)

(read-curly-brace-as-paren #f)

(read-square-bracket-as-paren #f)

The r5rs bindings can be imported into a top-level environment, and then evaluation in that top-level environment corresponds to R⁵RS. Use (namespace-require/copy 'r5rs) with an empty namespace to maximize conformance with R⁵RS; Using (namespace-require 'r5rs), in contrast, creates primitive bindings as imports, which is the same as using plt-r5rs without the --no-prim flag. More simply, use (scheme-report-environment 5). See also r5rs/init, which sets reader and printer parameters to increase conformance.

Using r5rs via #lang creates a module whose body is implemented with an R⁵RS-like language. The main difference from R⁵RS is that, as a module language, r5rs does not allow redefinition of top-level bindings, and expressions evaluated through load and eval cannot automatically access bindings defined within the module.

3.1 Non-R⁵RS Bindings from r5rs

In addition to the bindings defined by R⁵RS, the r5rs library provides the following bindings from mzscheme (which are not legal identifiers in R⁵RS syntax, so there is no danger of collisions in R⁵RS programs):

  #%app #%datum #%top #%top-interaction #%require #%provide

It also provides mzscheme’s #%plain-module-begin as #%module-begin. Note that #%require can be used to import PLT Scheme libraries into an otherwise R⁵RS program, and #%provide can be used to export from a module that is implemented in an R⁵RS-like language.

3.2 Notes on R⁵RS Functions

The cons of r5rs corresponds to scheme/base’s mcons. Similarly, cdr is mcdr, and map is scheme/mpair’s mmap, and so on.

An R⁵RS environment is implemented as a scheme/base namespace. Also, relative to scheme/base, the expr passed to eval is constructed using mutable pairs.

The scheme-report-environment function returns a namespace containing the bindings of r5rs. Procedure values are installed into the namespace using namespace-require/copy, so that they can be redefined.

The scheme-null-environment function returns a namespace containing the syntactic forms of r5rs, not including #%module-begin (which is not useful outside of a module).