Lisp 中用于优化的 Lambda 函数

Question

考虑以下 Lisp 中的函数定义：

(defun f (l)
    (cond
        ((null l) 0)
        ((> (f (car l)) 2) (+ (car l) (f (cdr l))))
        (T (f (car l)))
    )
)

给出一个避免双重递归调用(f (car l))的解决方案。您不会使用 set、setq、setf。证明答案。

我是这样处理的：

(defun f2 (l)
    (cond
        ((null l) 0)
        ((lambda (x) 
           (cond
                ((> x 2) (+ (car l) (f2 (cdr l))))
                (T x)
           )
         ) (f2 (car l)) 
        )
    )
)

我想听听一些意见。顺便说一句，这只是一个练习。这个函数不应该做一些连贯的事情。

Answer 1

在这里，我尝试以 Lisp 方式重新格式化您的代码：

(defun f2 (l)
  (cond
    ((null l) 0)
    ((lambda (x)
       (> x 2)
       (+ (car l) (f (cdr l)))
       (T (f (car l))))
     (f (car l)))))

使用lambda 可以计算一次值并将其绑定到变量，实际上您可以将cond 的最后两个原始情况合并到lambda 中。

但是，有多个问题导致代码不正确。

• 递归调用应该调用f2，而不是f
• 你不能在lambda 中移动cond 的测试子句，这不是Lisp 语法的工作方式。您可能只需要一个 if，但如果在 (> x 2) 案例的 lambda 中错过了一个 cond。
• 在lambda 内，不要调用(f2 (car l))，因为使用中间函数的全部意图是使用参数x（这是关于(T (f (car l))) 形式，它看起来像一个cond 子句但被解释作为函数调用）