Next: scheme basic boolean values, Previous: scheme basic syntax violations, Up: scheme basic [Index]
The standard libraries whose exports are described by this document are said to be safe libraries. Libraries and top–level programs that import only from safe libraries are also said to be safe.
As defined by this document, the Scheme programming language is safe in the following sense: The execution of a safe top–level program cannot go so badly wrong as to crash or to continue to execute while behaving in ways that are inconsistent with the semantics described in this document, unless an exception is raised.
Violations of an implementation restriction must raise an exception with
condition type &implementation-restriction, as must all
violations and errors that would otherwise threaten system integrity in
ways that might result in execution that is inconsistent with the
semantics described in this document.
The above safety properties are guaranteed only for top–level programs and libraries that are said to be safe. In particular, implementations may provide access to unsafe libraries in ways that cannot guarantee safety.