scheme - 非空 Scheme 列表是否包含至少一个原子？

Question

在The Little Schemer (4th Ed.) 据称a list for which null? is false contains at least one atom ，或者我从阅读文本中了解到。

这对我来说没有意义，因为 (atom '()) 是假的，我们可以将它们粘贴到列表中以使其非空:

> (null? '(()))
#f

所以我的问题是，这是我阅读的错误，还是定义的问题？因为它不在勘误表中，所以我认为这样一本研究得很好的书不会有这样的错误。

如果我们认为 (()) 与 (() . ()) 甚至 (cons '() '()) 然后考虑 cons 一个原子然后我可以看到你如何到达那里，但我认为这不是正在发生的事情。

(这是在Racket 7.0中测试过的，书中给出了atom?的定义，即

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

我知道这没有涵盖有趣的 Racket 功能，但在这里应该足够了。)

Answer 1

lat 被假设是书中那个点的原子列表。

如果它不是空的，根据定义它包含一些原子。

这不是关于 Lisp，而是关于这本书的介绍。