为什么是 (eq?'bitBlt (string->symbol "bitBlt")) -> #f

Question

R5RS 6.3.3 说

(eq? 'bitBlt (string->symbol "bitBlt")) ==>  #f

这是否意味着

(eq? 'bitBlt (string->symbol (symbol->string 'bitBlt))) ==> #f?

麋鹿返回#t！

R5RS 也说

(string->symbol "mISSISSIppi") ==> the symbol with name "mISSISSIppi"

（大概这意味着'mISSISSIPpi）

和

(symbol->string 'Martin) ==> "martin"

表示 symbol->string 返回标准大小写的字符串（本例中为小写）。

所以如果我扩展我的第二个例子

(symbol->string 'bitBlt) ==> "bitblt"
(string->symbol (symbol->string 'bitBlt)) ==> 'bitblt

因此

(eq? 'bitBlt (string->symbol (symbol->string 'bitBlt))) ==> #t

因为 R5RS 中的符号不​​区分大小写

(eq? 'mISSISSIppi 'mississippi) ==> #t

所以如果我扩展我原来的问题

(string->symbol "bitBlt") ==> 'bitblt

因此

(eq? 'bitBlt (string->symbol "bitBlt")) ==>  #t

对吗？但是 R5Rs 说#f！

我哪里错了？

为什么要指定这种行为？

参考：

http://people.csail.mit.edu/jaffer/r5rs_8.html#SEC49

http://bugs.call-cc.org/browser/numbers/r4rstest.scm?rev=1 第 468 行

实际会话示例：

3> (display 'bitBlt)
bitblt
3> (display (string->symbol "bitBlt"))
bitBlt
3> (eq? 'bitBlt (string->symbol "bitBlt"))
#f
3> (eq? 'bitblt (string->symbol "bitBlt"))
#f
3> (eq? 'bitblt (string->symbol "bitblt"))
#t
3> (eq? 'bitBlt (string->symbol (symbol->string 'bitBlt)))
#t
3> (eq? 'mISSISSIppi 'mississippi)
#t

Answer 1

您引用的example“假设[s] 实现的标准大小写是小写”。这意味着表达式'bitBlt 实际上扩展为符号bitblt。符号实际上不区分大小写。 read 可以规范化大小写。

string->symbol 的语义与read 的语义不同，并且该过程可能会返回一个大小写混合的符号：

此过程可以创建名称包含特殊字符或非标准大小写字母的符号，但创建此类符号通常不是一个好主意，因为在某些 Scheme 实现中它们不能被读取为本身。

在您的实现中，string->symbol 似乎也可以规范大小写。检查输出

(display 'bitBlt)
(display (string->symbol "bitBlt"))

确定。

（我之前的回答错了。）