2

我是 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？什么是词法闭包？我都很困惑。

感谢您的帮助。

4

1 回答 1

4

看起来您是键入prec而不是prev在封闭的let表格中。

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

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

于 2012-09-13T10:56:28.710 回答