recursion - Paul Graham 在他的 Bel 引用文献中如何解决 mac 的循环性？

Question

按照 Paul Graham 的 Bel 规范 ( bel reference )他这样定义“mac”宏:

(mac mac (n . rest)
`(set ,n (macro ,@rest)))

这不是循环吗？如果您使用“mac”来定义 mac，解释器如何知道 mac 的值是什么？

Answer 1

这不用于定义 mac 运算符。编译器已经内置了如何编译宏的知识。

这用于使定义对应用程序代码可见。

这种明显的循环可以在大多数 Lisp 实现中找到。许多年前，当我在 Symbolics 源代码中看到这个时，我感到很困惑:

(defun car (cons)
  (car cons))
(defun cdr (cons)
  (cdr cons))
(defun cons (car cdr)
  (cons car cdr))

SBCL 中也有类似的代码。

它之所以有效，是因为编译器具有针对这些函数的内置代码生成器。此代码用于为它们创建运行时函数对象，因此您可以使用类似的东西

(symbol-function 'car)