我正在阅读一个名为 eql 的 Emacs Lisp 函数的文档：
Return t if the two args are eq or are indistinguishable numbers.
这里的indistinguishable是什么意思？我一直在搜索文档，但没有找到解释。
【问题讨论】：
eq 用于“无法区分为 lisp 对象”；无法区分的数字不一定是相同的对象，这就是为什么 eql 扩展 eq 以容纳数字。
eq 的评论。
eq 谓词仅在比较相同对象时返回t。但是两个比较相等的值不能保证是同一个对象；两个具有相同值的文字甚至不能保证是同一个对象。因此，(eq 1 1) 可能会或可能不会评估为 t。对于数字类型eql 比较值，因此(eql 1 1) 将始终评估为t。但是，eql 更微妙一些：(eql 1 1.0) 将评估为 'nil，因为 1 和 1.0 不是无法区分的，即它们不共享相同的类型。因此，在引用的上下文中，不可区分意味着操作数具有相同的类型和相同的值。
【讨论】：
(eql +0.0 -0.0) 评估为nil。怎么会这样？ +0.0 和 -0.0 是相同的类型和相同的值。如果 indistinguishable 表示相同的类型和相同的值，则 (eql +0.0 -0.0) 的计算结果应为 t。
=, but some operations can distinguish between them。大概eql 是这些操作之一。 0.0 和 -0.0 数值相等，但它们的值不同。看到这一点的一种方法是观察 1.0 / 0.0 => 无穷大，但 1.0 / -0.0 => -infinity。
(/ 1.0 0.0) 时，我得到 1.0e+INF，而评估 (/ 1.0 -0.0) 产生 -1.0e+INF。如果0.0 和-0.0 是相同的值，则这些结果应该一致。