Graham ANSI Common Lisp 6.6 函数构建器：compose 的递归实现？

Question

经过深思熟虑，我明白了 Graham 的 ANSI Common Lisp 第 6.6 章（第 110 页）中描述的 compose 函数是如何工作的：

(defun compose (&rest functions)
  (destructuring-bind (fn .  fns) (nreverse functions)
    #'(lambda (&rest arg)
    (reduce #'(lambda (x y) (funcall y x))
        fns
        :initial-value (apply fn arg)))))

(setf (symbol-function 'lst-gt10p)
      (compose #'list
           #'(lambda (x) (and (> x 10) t))))

(lst-gt10p 11)

但不知何故我无法提供 compose 的递归定义。

例如这是递归实现的尝试：

(defun rec-compose (&rest functions)
  (destructuring-bind (fn . fns) functions
    #'(lambda (&rest args)
    (cond
      ((null fns) (apply fn args))
      (t (funcall fn
              (apply #'rec-compose fns)))))))

(funcall (rec-compose #'list #'round #'sqrt) 11)

我们的想法是继续调用 (funcall fn (apply #'rec-compse fns))，直到它达到基本情况 (apply fn args)。然而这 returns 不是结果而是另一个闭包..

有什么想法吗？

Answer 1

如 post 中所定义，每次调用 rec-compose 时都会创建一个函数。由于 rec-compose 被递归调用，它试图创建一个函数 returns 一个函数 returns 一个函数....

一个解决方案是在 rec-compose 返回的匿名函数内部创建一个辅助函数，它本身被递归调用，这样递归就不会不断堆积函数：

(defun rec-compose (&rest functions)
  #'(lambda (&rest args)
      (labels ((combine (functions)
                 (destructuring-bind (fn . fns) functions
                   (if (null fns)
                       (apply fn args)
                       (funcall fn (funcall #'combine fns))))))
        (combine functions))))

CL-USER> (funcall (rec-compose #'sqrt #'+) 9 16)
5.0

Graham ANSI Common Lisp 6.6 函数构建器：compose 的递归实现？

Graham ANSI Common Lisp 6.6 Function builders: Recursive implementation of compose?

common-lisp