求助：编写Scheme函数实现移除列表中小于指定整数的元素

我看了你给出的示例和代码，核心问题出在对Scheme中不可变数据的理解上，还有递归时没有正确传递结果列表。咱们一步步来解决：

先明确需求 #

从你的示例 (show-up-to-n '(4 6 3 -8 3 4) 5) ==> (4 3 -8 3 4) 来看，你需要的是一个函数，输入列表和整数n，返回列表中所有小于等于n的元素（因为6>5被移除了，其他元素都保留）。你之前描述的“移除所有小于该整数的元素”应该是笔误，咱们以示例为准。

你的代码问题分析 #

你尝试用递归辅助函数impl，但犯了两个关键错误：

• 你用了全局的result变量，并且在递归里执行(cons (car l1) result)时，只是创建了一个新的列表，但没有把这个新列表关联到后续的递归逻辑（Scheme中默认变量是不可变的，除非用set!，但不推荐用可变变量处理这类问题）。
• 你的递归辅助函数参数里虽然有result，但没有把cons后的新列表传递给下一次递归调用，导致每次递归的result都是初始的空列表。

正确的实现方式 #

方法1：用Scheme内置的filter函数（最简单） #

Scheme已经内置了filter函数，可以直接过滤列表，一行代码就能搞定：

(define show-up-to-n
  (lambda (lst n)
    (filter (lambda (num) (<= num n)) lst)))

测试一下：

(show-up-to-n '(4 6 3 -8 3 4) 5)
; 输出: (4 3 -8 3 4)

方法2：手动写递归（理解底层逻辑） #

如果你想手动实现递归逻辑，要注意在递归时传递更新后的结果列表，并且最后要反转结果（因为cons会把元素加到列表前面，顺序会反过来）：

(define show-up-to-n
  (lambda (lst n)
    ; 定义递归辅助函数，参数是当前处理的子列表和临时结果列表
    (define impl
      (lambda (current-lst temp-result)
        (if (null? current-lst)
            ; 递归结束，反转临时结果得到正确顺序
            (reverse temp-result)
            ; 如果当前元素符合条件，就把它加到临时结果里，继续递归
            (if (<= (car current-lst) n)
                (impl (cdr current-lst) (cons (car current-lst) temp-result))
                ; 不符合条件，直接递归处理下一个元素
                (impl (cdr current-lst) temp-result)))))
    ; 初始调用：从整个列表开始，临时结果为空
    (impl lst '())))

测试效果和上面一样，这个写法完全用不可变数据，符合Scheme的函数式编程风格。

方法3：如果一定要用可变变量（不推荐） #

如果你坚持要用可变的result，需要用set!来更新它，但这种写法不符合函数式编程的理念，只做参考：

(define show-up-to-n
  (lambda (lst n)
    (define result '())
    (define impl
      (lambda (current-lst)
        (if (null? current-lst)
            (reverse result)
            (begin
              (if (<= (car current-lst) n)
                  (set! result (cons (car current-lst) result))
                  #f)
              (impl (cdr current-lst))))))
    (impl lst)))

总结 #

推荐用filter或者手动递归的方式，尽量避免使用可变变量，这样的代码更简洁、更符合Scheme的设计思想。你之前的代码就是因为没有正确传递递归中的结果列表，导致无法收集到符合条件的元素。

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