如果嵌套列表有 1 个元素，如何删除 Scheme 中嵌套列表中的括号？

Question

假设我有清单：(a b ((c)) (d + e) ((e + f)) (g) () h)

如何获取以下列表（最好带函数）：(a b c (d + e) (e + f) g h)

换句话说：

• 如果嵌套列表只有一个元素，则将其简化为该元素。在上面的例子中，((c)) 被简化为 c。 ((e + f)) 也变为 (e + f)。

• 如果嵌套列表有多个元素，则它保持不变。在上面的例子中，(d + e) 仍然是(d + e)。

• 如果嵌套列表为空，则直接将其移除。

最后 我不确定扁平化一词是否适用于这种情况。 我希望我的问题很清楚。如果没有，请告诉我。

提前致谢！

Answer 1

试试这个代码：

(define (atom? x)
  (and (not (pair? x)) (not (null? x))))

(define (strip lst)
  (if (or (null? lst) (atom? lst) (not (null? (cdr lst))))
      lst
      (strip (car lst))))

(define (flatten lst)
  (cond ((or (null? lst) (atom? lst))
         lst)
        ((null? (strip (car lst)))
         (flatten (cdr lst)))
        (else
         (cons (flatten (strip (car lst))) (flatten (cdr lst))))))

使用您的示例进行测试时，它给出了预期的答案：

> (flatten '(a b ((c)) (d + e) ((e + f)) (g) () h))
> (a b c (d + e) (e + f) g h)

Answer 2

这个想法是你需要一个递归函数：

1. 检查列表是否为空
2. 检查第一项是否为列表，如果不是cons，则检查应用于列表的cdr 的函数
3. 否则，将函数应用于car 和cdr 和cons 处理结果。

这是一个未经测试的尝试：

(define flatten
  (lambda lst
    (cond 
      ((null? lst) lst)
      ((atom? (car lst)) (cons (car lst) (flatten (cdr lst))))
      (else (cons (flatten (cons (car (car lst) (cdr (car ls))) 
                  (flatten (cdr lst)))))))

atom? 是一个函数，用于测试列表中的元素是否不是列表。以下是atom? 在The Little Schemer 中的定义方式：

(define atom?
  (lambda (x)
    (and (not (pair? x)) (not (null? x)))))

如果您在组织递归函数的逻辑时遇到困难，我强烈推荐 The Little Schemer。