status: final (2002-12-02)
keywords: Miscellaneous
library name: rec
We propose the implementation of a special form
called rec. This form is a generalization and combination of
the forms rec and named-lambda of
[Clinger1985]. It allows the simple and non-imperative construction of
self-referential expressions. As an important special case, it extends
the A. Church form lambda such that it allows the direct
definition of recursive procedures without using further special forms
like let or letrec, without using advanced
constructions like the H. B. Curry combinator and, unlike
define, without introducing variable bindings into the
external environment.