Each module has its own hash table, sometimes known as an obarray, that maps the names defined in that module to their corresponding variable objects.
A variable is a box-like object that can hold any Scheme value. It is
said to be undefined if its box holds a special Scheme value that
denotes undefined-ness (which is different from all other Scheme values,
including for example
#f); otherwise the variable is
On its own, a variable object is anonymous. A variable is said to be bound when it is associated with a name in some way, usually a symbol in a module obarray. When this happens, the name is said to be bound to the variable, in that module.
(That’s the theory, anyway. In practice, defined-ness and bound-ness sometimes get confused, because Lisp and Scheme implementations have often conflated — or deliberately drawn no distinction between — a name that is unbound and a name that is bound to a variable whose value is undefined. We will try to be clear about the difference and explain any confusion where it is unavoidable.)
Variables do not have a read syntax. Most commonly they are created and
bound implicitly by
define expressions: a top-level
expression of the form
(define name value)
creates a variable with initial value value and binds it to the
name name in the current module. But they can also be created
dynamically by calling one of the constructor procedures
Return a variable that is initially unbound.
Return a variable initialized to value init.
#t if var is bound to a value, or
otherwise. Throws an error if var is not a variable object.
Dereference var and return its value.
var must be a variable object; see
Set the value of the variable var to val. var must be a variable object, val can be any value. Return an unspecified value.
Unset the value of the variable var, leaving var unbound.
#t if obj is a variable object, else return