<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, May 4, 2013 at 9:04 PM, Jon Zeppieri <span dir="ltr"><<a href="mailto:zeppieri@gmail.com" target="_blank">zeppieri@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Sat, May 4, 2013 at 9:46 PM, John Gateley <<a href="mailto:racket@jfoo.org">racket@jfoo.org</a>> wrote:<br>
><br>
><br>
> On 5/4/2013 8:26 PM, Robby Findler wrote:<br>
</div><div class="im">>> Some characters have the equal? implies eq? property (the ASCII ones and<br>
>> maybe a few more, I'm not sure) and some don't (#\λ for example).<br>
><br>
><br>
> Excellent point, and now I understand your efficiency comment better.<br>
> There's a definite parallel between bignums and multi-byte characters.<br>
<br>
</div>I disagree. There is a parallel between fixnums and characters,<br>
multi-byte or not, because char->integer always returns a fixnum and<br>
integer->char is only defined on a subset of the fixnums.<br>
<br>
However, I don't think this is any kind of knock-down argument in<br>
favor of eq?-ness for characters. It's just a nice-to-have.<br>
<br></blockquote><div><br></div><div style>FWIW, I think that if you had real code that would benefit from this it would be more compelling; our nice-to-have list is already pretty long. :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Robby, after looking at the macros in scheme.h, I understand now why<br>
it would be a big job. I hadn't realized that all of the unique<br>
objects (like null, EOF, void, and so forth) were all represented as<br>
pointers to statically allocated structs. So there's a basic<br>
assumption that if a value doesn't satisfy SCHEME_INTP(), then it's a<br>
pointer.<br>
</blockquote></div><br></div><div class="gmail_extra" style>Yeah, and don't forget the JIT, too....</div><div class="gmail_extra" style><br></div><div class="gmail_extra" style>Robby</div><div class="gmail_extra" style>
<br></div></div>