初学Scheme：自定义列表反转函数输出出现多余括号与点的问题咨询

你的reverse函数输出带点的嵌套序对，核心原因是构造列表的方式不符合Scheme的列表规则：

Scheme中，标准列表是由一系列序对组成的链，且最后一个序对的cdr必须是空列表'()。而你的代码里，(cons (reverse (cdr lst)) (car lst))这一步，cons的第二个参数是单个元素（比如13、98），不是列表。当cons的第二个参数不是列表时，生成的是点对（dotted pair），而非标准列表。

举个例子，处理最后一个元素13时：

• reverse '()返回'()
• cons '() 13得到(() . 13)——这是点对，不是列表
  处理前一个元素98时，cons ((() . 13) 98)又生成新的点对，以此类推，最终就形成了你看到的嵌套点对结构。

正确的表层反转实现 #

方式1：高效累加器实现（推荐） #

这是Scheme反转列表的标准高效写法，通过累加器逐步构建结果，时间复杂度O(n)：

(define reverse
  (lambda (lst)
    (let helper ((remaining lst) (reversed '()))
      (if (null? remaining)
          reversed
          (helper (cdr remaining) (cons (car remaining) reversed))))))

调用(reverse '(5 12 31 7 98 13))会得到预期的(13 98 7 31 12 5)。

方式2：直观append实现 #

如果想保持递归的直观逻辑，可以用append把当前元素转为单元素列表后拼接，缺点是时间复杂度O(n²)（因为append每次要遍历列表）：

(define reverse
  (lambda (lst)
    (if (null? lst)
        '()
        (append (reverse (cdr lst)) (list (car lst))))))

这里(list (car lst))把单个元素包装成列表，确保append能拼接出标准列表结构。

另外提醒：别用(> (length lst) 0)判断列表是否为空，length需要遍历整个列表，效率低；用(null? lst)直接判断空列表才是Scheme的惯用高效写法。

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