シンボルが局所変数として現在の環境に定義されている場合は、その環境にお いて、そのシンボルと束縛されている値が、そのシンボルを評価した結果の値 となる。
これは、4.3.1や4.3.2で説明されているシンボ ルにおいても同様である。例えば、以下に示す関数定義、
(defun square (x) (* x x))
の x を t に変えても関数 square の意味は変わらない。
(defun square (t) (* t t))
シンボルが局所変数として束縛されていない場合は、大域値が参照される。 さらに大 域値として値を持たない場合にはそのシンボルの評価は、Unbound variable エラーを引き起こす。