3.1 Evaluation 3.1.2 The Evaluation Model 220.127.116.11 Form Evaluation 18.104.22.168.1 Symbols as Forms
22.214.171.124.1.1 Lexical Variables
A lexical variable is a variable that can be referenced only within
the lexical scope of the form that establishes that variable;
lexical variables have lexical scope.
Each time a form creates a lexical binding of a variable,
a fresh binding is established.
Within the scope of a binding for a lexical variable name,
uses of that name as a variable are considered to be references
to that binding except where the variable is shadowed2
by a form that establishes a fresh binding for that
or by a form that locally declares the name special.
A lexical variable always has a value.
There is no operator that introduces a binding for a
lexical variable without giving it an initial value, nor
is there any operator that can make a lexical variable be unbound.
Bindings of lexical variables are found in the lexical environment.