Common Lisp 中的未绑定变量

Question

我是 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？什么是词法闭包？我都糊涂了。

感谢您的帮助。

Answer 1

您似乎在封闭的let 表单中输入了prec 而不是prev。

词法闭包是“关闭”部分词法环境的函数（因此得名）。关于 lisp 中的闭包有很多很好的介绍，我不会在此重复，但本质上，let 是最常用的操作词法环境的方法；在这种情况下，您希望为prev 添加绑定，然后该绑定将可用于表单正文中的代码。您的函数 see 将“关闭”此绑定，因此每次调用 see 都可以访问它，即使当您进行这些调用时，您将不再处于 let 表单建立的词法环境中.从某种意义上说，你可以说函数定义与它绑定。

由于您似乎打错了 prev 的名称，您的函数正试图引用在代码中当时尚未建立的绑定。