Common Lisp 中的未绑定变量

我是 Lisp 新手，正在阅读 ANSI Common Lisp 第 8 章中的文本生成器示例。我按照该示例并在 LET 变量“prec”的范围内定义了一个函数“see”，

(let ((prec '|.|))
  (defun see (symb)
    (let ((pair (assoc symb (gethash prev *words*))))
      (if (null pair)
        (push (cons symb 1) (gethash prev *words*))
      (incf (cdr pair))))
    (setf prev symb)))

并将其保存到一个 lisp 文件中。

然后，当我返回 REPL 并尝试在加载文件的编译版本后调用 see 时，发生了错误：

The variable PREV is unbound. [Condition of type UNBOUND-VARIABLE]

如何正确调用 see ？词法闭包有什么用？我很困惑。

谢谢你的帮助。

看起来您已经输入了prec代替prev在封闭的let form.

词法闭包是“封闭”词法环境一部分的函数（因此得名）。关于 lisp 中的闭包有很多很好的介绍，我不会在这里重复，但本质上，let是操纵词汇环境的最常见方法；在这种情况下，您想要添加绑定prev，然后可用于在表单正文中进行编码。你的职能see将“关闭”此绑定，因此每次调用see可以访问它，即使当您进行这些调用时，您将不再处于由let形式。从某种意义上说，您可以说函数定义与其进行了绑定。

由于您似乎输入了错误的名称prev，您的函数正在尝试引用代码中此时尚未建立的绑定。