为什么(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?

elk返回#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“假设实现的标准大小写是小写的”。这意味着表达式'bitBlt实际上扩展为符号bitblt。符号实际上不是不区分大小写的；read可以标准化大小写。

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

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

在您的实现中，string->symbol似乎也标准化了大小写。检查以下命令的输出

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

肯定的是。

(我之前的回答是错误的。)