The Essentials of Programming Languages language in DrRacket
provides a subset of functions and syntactic forms of
Each variant-id is defined as a constructor function that creates an instance of the datatype; the constructor takes as many arguments as the variant’s field-ids, and each argument is checked by applying the function produced by the variant’s predicate-expr.
In DrScheme v209 and older, when constructor-based printing was used, variant instances were printed with a make- prefix before the variant name. Thus, for compatibility, in addition to variant-id, make-variant-id is also defined for each variant-id (to the same constructor as variant-id).
|empty : empty?|
|(collect-garbage) → void?|
Tracing a function causes tail-calls in the original function to become non-tail calls.
|(provide provide-spec ...)|
The eopl/eopl library sets this variable to #f in the current namespace when it executes.
|(install-eopl-exception-handler) → void?|
The eopl/eopl library calls this function when it executes.
|[EoPL]||“Essentials of Programming Languages, Third Edition,” MIT Press, 2008. http://www.eopl3.com/|