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-＆gt; 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"))

可以肯定。

（我之前的回答是错误的。）

为什么（eq？'bitBlt（string-＆gt; symbol“bitBlt”）） - ＆gt; ＃F

1 个答案: