我刚刚开始阅读小阴谋家。我在理解某些单词时遇到了一些问题。
在第 27 页它说，
Eq 定律？
原始情商？有两个参数。每个必须是非数字原子。"
一个脚注说：在实践中，一些数字可能是 eq 的参数？
我使用球拍最小作为我的方案解释器。它将(eq? 10 10) 评估为#t。
玩具章节有很多类似的问题。
作者所说的必须（标记为粗体）和脚注是什么意思？
【问题讨论】：
标签： scheme racket the-little-schemer
传统的做法是在指针本身中嵌入一些原始数据类型，例如低整数和字符，从而使这些数据类型成为eq?，即使数据在源中的不同时间/点出现在源中也是如此。但是，数字可以是任何大小，因此即使数字在某些时候达到特定的实现依赖大小，它们对于指针来说也会太大。当您尝试(eq? 10000000000 10000000000) 时，它可能在 32 位系统中为 #f，在 64 位系统中为 #t，而在任何系统中 (eqv? 10000000000 10000000000) 为 #t。
【讨论】：
cons 怎么样。它说第二个表达式必须是一个列表。但是 (car (cons 'a 'b)) 计算结果为 'a。你能解释一下吗？
cons 创建一对。 car 和 cdr 可以是任何类型，但只有当 cdr 是 null? 或 list? 时，才能将结果称为正确的列表。 list? 是当链中的cdr 是pair? 而最后一个是null?。在cdr 中不以null? 结尾的列表称为点列表，例如。 (a b . c)。 (list? '(a b . c)) ; ==> #f
Scheme 的真实身份谓词是eqv?。 Eq? 是一个优化版本，当应用于数字、字符或过程时，允许报告#f 而不是#t。 eq? 的大多数 Scheme 实现在小的精确数字（称为“fixnums”）、字符和过程上做正确的事情，但在更大的数字或其他类型的数字上却失败了。
所以说“必须”意味着如果你将eq? 应用于一个数字，你只能得到部分可预测的结果；脚注意味着在某些情况下（通常包括 10 个）你会侥幸逃脱。有关各种方案对 fixnums 的实际作用的详细信息，请参阅 R7RS 开发站点上的FixnumInfo。
【讨论】：