lisp - Common LISP代码解释

Question

有人可以向我解释这段代码的作用及其工作原理吗？

(defun f (&optional (x nil) (y (if (atom x) nil (car x))))
 (cond ((atom x) y)
       ((< (car x) y) (f (cdr x) y))
       (t (f (cdr x) (car x)))))

Answer 1

快速浏览一下代码就会发现它是一个函数，它返回给定两个数字或数字列表的最大数字。如果给定一个原子，它将返回 nil；如果列表中的一个元素不是数字，它将返回错误。这是我得到的一些结果:
CL-用户> (f '(1 2 3 4))
4个
CL-用户> (f '(1 5 2 4))
5个
CL-用户> (f '(1 5 2 4 7))
7
CL-USER> (f 'y)
零
CL-用户> (f 3 'y)
是
当列表中有非数字时出现类型错误:
CL-用户> (f '(1 x 2 4 7))
给出以下错误值(value) X不是类型 数字绑定(bind) SB-KERNEL::X 时 [类型错误的条件]

至于它是如何工作的？该函数比较列表中的数字(第一个参数)和一个数字(第二个参数)并返回其中最大的一个。它通过递归比较列表的前两个数字返回较大的数字来实现这一点，它与列表的其余部分进行比较。