Lisp 匿名递归函数 v2：在 Common Lisp 中实现 Clojure 的 fn

我在之前的文章《Lisp 匿名递归函数》中提及 Emacs Lisp、Scheme 和 Common Lisp 中默认都没提供定义可递归的 lambda 函数的方法。并在文章里提供了我自己实现的 Emacs Lisp 版本和 Common Lisp 版本。

在那之后，我学习了 Clojure，发现 Clojure 中的 fn 在定义 lambda 函数的同时还允许给它取一个临时的名字，这样就能在函数体中递归地调用自己了，比如下面用来临时求第12个斐波那契数的匿名函数：

((fn fibonacci [n]
   (if (<= 2 n)
     (+ (fibonacci (- n 1))
        (fibonacci (- n 2)))
     1))
 12)

这个方法比我之前实现的要高明的多！我的方法会额外“霸占”一个名字“this”来代表自己，这样很容易有命名冲突的问题。但像 fn 这样，名字由开发者自己提供，就能避免这样的问题。因此，我开始琢磨怎么把 fn 迁移到 Common Lisp 中。

有了之前开发的经验，这一次实现起来顺手多了。观察 fn 的语法，与 lambda 相比它多了一个可选的名字。所以，当函数名未提供时和 lambda 无区别：

(defmacro fn (&rest body)
  (if (listp (car body))
    `(lambda ,@body)
    ))

然后是 else 块，这部分和之前文章里介绍的一样，都是需要让返回的匿名函数能识别一个额外的函数名，并且那个函数名指向函数本身。区别仅是之前 hard code 成 this，而这回名字由开发者指定。所以，也是用“局部函数”来实现，即 Common Lisp 中的 labels，或 Emacs Lisp 中的 flet：

(defmacro fn (&rest body)
  (if (listp (car body))
    `(lambda ,@body)
    `(lambda (&rest args)
       (labels (,body)
         (apply (function ,(car body)) args)))))

来写个函数测试一下。比如输出一棵树的所有子节点：

(funcall
  (fn dump-list (o)
    (if (consp o)
      (dolist (item o)
        (dump-list item))
      (format t "~A~%" o)))
  '(1 (2 (3 (4) 5) 6) 7 (8 9)))

在 clisp 中执行结果如下：

λ clisp -q
[1]> (defmacro fn (&rest body)
  (if (listp (car body))
    `(lambda ,@body)
    `(lambda (&rest args)
       (labels (,body)
         (apply (function ,(car body)) args)))))
FN
[2]> (funcall
  (fn dump-list (o)
    (if (consp o)
      (dolist (item o)
        (dump-list item))
      (format t "~A~%" o)))
  '(1 (2 (3 (4) 5) 6) 7 (8 9)))
1
2
3
4
5
6
7
8
9
NIL
[3]>