为什么我的 lisp 代码给了我……应该是 lambda 表达式？

Question

(defun helper-2 (list) 
  (if (null (first (rest list)))
      0)
  (+ (distance ((car list) (first (rest list)))) 
     (helper-2 (rest list))))

我是 lisp 的新手，我正在编写一个程序来计算任何多边形的周长，输入遵循顺时针顺序。我的逻辑是我使用辅助方法来计算两个相邻点的长度并求和。递归完成后，我将进行单独调用以计算从起点到终点的长度并将所有内容相加。我已经完成了距离方法，它需要 2 个点并返回长度。

(distance '(2 0) '(4 0)) ;this will output 2

helper-2 逻辑： 假设我们有 3 个点 a (2 0) b (3 3) c (4 0) 这种方法期望将 ab 和 bc 之间的距离相加。但是，我不断收到“（汽车头）应该是一个 lambda 表达式”错误。任何人都可以帮忙吗？谢谢你。或者谁能​​给我一个更好的方法来计算多边形的周长？

(defun square (n) (* n n))

(defun distance (a b)
  (let ((h (- (second b) (second a)))
        (w (- (first b) (first a))))
    (sqrt (+ (square h) (square w)))))

Answer 1

您的helper-2 函数在两个地方有误：

1. 您应该使用双臂 if，以便它用作 if/else。
2. (car list) 周围的括号过多。

这是固定版本：

(defun helper-2 (list) 
  (if (null (first (rest list)))
      0
      (+ (distance (car list) (first (rest list))) 
         (helper-2 (rest list)))))

Answer 2

HyperSpec 的3.1.2.1.2.3 Function Forms 部分描述了作为缺点的表单如何，例如 ((car list) (first (rest list)))，被评估：

如何处理复合形式取决于它是分类为特殊形式、宏形式、函数形式还是 lambda 形式。

您可以阅读从该页面链接到的小节以获取更多详细信息，但本质是，由于此列表的第一个元素不是符号，因此整个表单必须是 lambda 表单。根据3.1.2.1.2.4 Lambda Forms，lambda 形式是一个列表，其中第一个元素是 lambda 表达式。 `但是，(car list) 不是 lambda 表达式，因此您会收到相应的错误消息。

您声称 (distance '(2 0) '(4 0)) 将输出两个，但这表明 distance 是用两个参数调用的。即使 ((car list) (first (rest list))) 可以被评估，它也只会产生一个值，所以 (distance ((car list) (first (rest list) )))) 将只用一个参数调用 distance。你应该这样做：

(distance (car list) (first (rest list)))

另见：

• Cannot use function call as first argument in s-exp
• Why do we need funcall in lisp
• Do any lisps have a s-expression as their head, e.g. ((f 2) 3 4)? If not, why?