Lambda函数无返回值：递归提取pair遇契约违规问题求助

原代码的核心问题 #

• 语法结构混乱：if分支里连续写了两个append，未正确嵌套调用，导致语法错误
• 错误的列表初始化：(list '())生成的是嵌套空列表(() )，而非所需的空列表()
• 非法函数调用：最后一行(y)试图将列表当作函数调用；处理最后一个子列表时，((caddr ev-lst))把提取到的pair当作函数执行，直接触发契约违规错误
• 冗余累积变量：递归模式下无需额外的y存储结果，递归本身可通过返回值拼接完成累积

修正后的代码 #

(define (event-params-lst ev-lst)
  (cond
    ;; 处理空列表边界情况
    ((null? ev-lst) '())
    ;; 处理最后一个子列表：返回包装成列表的pair，保证格式统一
    ((null? (cdr ev-lst)) (list (caddr ev-lst)))
    ;; 递归拼接结果：提取当前子列表的pair，拼接剩余列表的处理结果
    (else (cons (caddr (car ev-lst))
                (event-params-lst (cdr ev-lst))))))

代码说明 #

1. 边界处理：增加空列表判断，避免传入空参数时出错
2. 最后元素处理：当ev-lst只剩一个子列表时，用(caddr ev-lst)提取pair，并用list包装，保证和递归返回的列表格式一致
3. 高效递归：用cons拼接当前pair和剩余列表的递归结果，比append更高效（cons是O(1)操作，append需遍历整个列表）
4. 语法修正：移除冗余的y变量，消除所有非法函数调用写法

测试示例 #

输入：

(event-params-lst '((1 2 (a b)) (3 4 (c d)) (5 6 (e f))))

返回结果：

((a b) (c d) (e f))

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