Scheme remover函数报错：car: expects argument of type ; given f 求助

首先明确你的需求：实现一个Scheme函数，接收一个原子和一个列表，返回移除该原子所有出现后的新列表。你给出的代码和运行错误如下：

原代码 #

(define (remover lst n) 
  (cond 
    ((null? lst) ()) 
    ((eq? (car lst) n) (cdr lst)) 
    (else (cons (car lst) (remover (cdr lst) n))))) 

(remover 'f '(a f c g f b))

运行错误 #

car: expects argument of type ; given f

错误原因分析 #

咱们一步步拆解问题：

1. 参数顺序完全颠倒：你定义函数时把列表lst作为第一个参数，原子n作为第二个，但调用时却把原子'f放在了第一个位置，列表放在第二个位置。这就导致函数执行时，lst被赋值为'f（一个原子，不是列表），当执行(car lst)时，Scheme自然会报错——car只能操作列表，不能作用于单个原子！
2. 逻辑缺陷：仅移除第一个匹配项：就算参数顺序对了，原代码里((eq? (car lst) n) (cdr lst))这一步只会跳过当前匹配的元素，直接返回剩余列表，不会递归处理剩余列表里的其他匹配项，所以无法移除所有指定原子。

修正方案 #

针对这两个问题，咱们调整代码：

1. 调整函数参数顺序，让原子n作为第一个参数，列表lst作为第二个（既符合你调用时的参数顺序，也更符合“指定要移除的元素，再传入目标列表”的直觉）；
2. 当找到匹配元素时，递归处理剩余列表，而不是直接返回剩余列表，这样就能遍历整个列表移除所有匹配项。

修正后的代码 #

(define (remover n lst) 
  (cond 
    ((null? lst) '())  ; 列表为空时返回空列表
    ((eq? (car lst) n) (remover n (cdr lst)))  ; 匹配到目标原子，递归处理剩余列表
    (else (cons (car lst) (remover n (cdr lst))))))  ; 不匹配则保留当前元素，递归处理剩余列表

; 测试调用
(remover 'f '(a f c g f b))  ; 预期返回 '(a c g b)

运行结果 #

执行修正后的代码，会得到正确结果：'(a c g b)，所有'f都被成功移除了。

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