第2:26帧-为什么康索有一个奇怪的立方体

Question

在第26帧中，我们得到了cons⁰的定义：

(degree (conso a d p)
(== `(,a ■ ,d) p))

这本书还没有提到这些黑色方块应该做什么。这是什么意思？

一个提示是在帧3-4中，其中提到CCD_ 1不是适当的列表。

Answer 1

这只是一个点：

(defrel (cons° a d p) (== `(,a . ,d) p))

在我看来，对准引号的痴迷在这里是毫无帮助的。在我看来，当作为等效编写时，阅读起来要容易得多

(defrel (cons° a d p) (== (cons a d) p))