编写Lisp平面近点统计函数时遇expected a procedure错误求助

错误根源分析 #

1. 布尔值被当作过程调用 #

在checkDistEps函数中，(#t)和(#f)是错误写法——Lisp里括号表示过程调用，这里把布尔值#t/#f当成了可调用的过程，直接返回#t或#f即可，不需要加括号。

2. 数值被当作过程调用 #

iterateDist里的(0)同样是错误，括号会尝试调用数值0作为过程，直接写0就行。

3. 递归迭代逻辑完全错误 #

• let iterate ((n 0))定义的迭代器初始n=0，但递归过程中没有传递累加的计数值，每次调用都是从头开始计数，无法累加结果。
• 处理嵌套列表时，两个iterateDist递归调用的结果没有相加，导致结果丢失。
• 对points的类型判断逻辑混乱：当points是单个点（3元素列表）时，(car points)是数值而非列表，会进入else分支，但此时points本身是合法的点，却被当成了非列表的原子处理。

修正后的代码 #

; 计算点到平面的距离是否小于eps，返回布尔值
(define checkDistEps
  (lambda (plane point eps)
    (let* ((a (car plane))
           (b (cadr plane))
           (c (caddr plane))
           (d (cadddr plane))
           (x (car point))
           (y (cadr point))
           (z (caddr point))
           ; 分子：|ax + by + cz + d|
           (numerator (abs (+ (* a x) (* b y) (* c z) d)))
           ; 分母：sqrt(a² + b² + c²)
           (denominator (sqrt (+ (expt a 2) (expt b 2) (expt c 2)))))
      ; 避免分母为0的情况（可选，根据需求调整）
      (if (zero? denominator)
          #f
          (< (/ numerator denominator) eps)))))

; 遍历点列表（支持嵌套列表），统计符合条件的点数量
(define iterateDist
  (lambda (plane points eps)
    (cond
      ; 如果是嵌套列表，递归处理子列表并累加结果
      ((list? (car points))
       (+ (iterateDist plane (car points) eps)
          (iterateDist plane (cdr points) eps)))
      ; 列表为空，返回0
      ((null? points)
       0)
      ; 单个点，判断是否符合条件，符合则返回1，否则0
      (else
       (if (checkDistEps plane points eps)
           1
           0)))))

修正说明 #

1. checkDistEps优化：

   • 用let*拆分变量，提升代码可读性，避免重复调用car/cadr等函数。
   • 增加了分母为0的判断（平面参数非法的情况），避免除零错误。
   • 直接返回<表达式的结果（布尔值），不需要额外的if包裹。

2. iterateDist逻辑修正：

   • 去掉了错误的内部let iterate迭代器，改用直接递归的方式，逻辑更清晰。
   • 处理嵌套列表时，用+累加子列表和剩余列表的统计结果。
   • 单个点的判断逻辑正确：当points是单个3元素点列表时，直接调用checkDistEps，符合条件返回1，否则0；空列表返回0。

测试示例 #

; 平面：x + y + z + 0 = 0（a=1, b=1, c=1, d=0）
(define plane '(1 1 1 0))
; 点列表：包含嵌套列表，其中(0 0 0)、(0.1 0.1 0.1)符合距离<0.5的条件
(define points '((0 0 0) (1 1 1) ((0.1 0.1 0.1) (2 2 2))))
; 统计结果应为2
(iterateDist plane points 0.5) ; 返回2

内容的提问来源于stack exchange，提问作者tragicstudent