如何在Scheme R5RS中表示Python指定数据结构并使用cons构建二元组

我明白你想要用Scheme的cons来构建对应Python中[([1,2,3], [8,9,10])]的结构，之前的尝试得到了意外结果，这是因为对cons和列表的关系理解有一点偏差。

为什么你的初始代码不对？ #

当你运行(list (cons '(1 2 3) '(8 9 10)))时，Scheme会把cons的第二个参数'(8 9 10)当成列表链的延续，而不是单个元素。因为'(8 9 10)本身就是(cons 8 (cons 9 (cons 10 '())))，所以(cons '(1 2 3) '(8 9 10))等价于(list '(1 2 3) 8 9 10)，最终显示为((1 2 3) 8 9 10)，这就解释了你看到的输出。

正确的Cons写法 #

要让pair的第二个元素是完整的列表(8 9 10)，你需要把这个列表作为cons的第二个参数时，包装成一个单元素的pair链（也就是单元素列表）。正确的代码如下：

(list (cons '(1 2 3) (cons '(8 9 10) '())))

运行这个表达式后，display会输出你期望的结果：(((1 2 3) (8 9 10)))。

验证访问逻辑 #

你之前用(cadr (car x))获取第二个元素的逻辑完全适用：

• 假设x是上面的表达式结果，(car x)会得到内部的两元素结构((1 2 3) (8 9 10))
• (cadr (car x))会取出这个结构的第二个元素(8 9 10)，和预期一致。

补充说明 #

在Scheme中，长度为2的“元组”如果要显示为(a b)的形式（而非 dotted pair 的(a . b)），本质上就是一个普通的两元素列表——而列表本身就是通过cons和'()（空列表）递归构建的。所以(cons a (cons b '()))完全等价于(list a b)，只是前者更直接地体现了Scheme列表的底层结构。

内容的提问来源于stack exchange，提问作者Rahul R Badenkal