Brian Mastenbrook scripsit:

> I believe that this is expressible in terms of weak pointers and  
> finalizers (both of which are supported by the Boehm collector).    [...]

I grant that this technique works, but it's very hairy; I suspect
it would cost more in time (finalizers are expensive) than it would
save in space.

> I'm not proposing that immutable strings be interned, but I don't  
> think any promises of identity should be made. In particular, `make- 
> string' and other string-building objects should be free to return the  
> same (eqv?) object given the same inputs. Some string representations  
> may not even have an identity: on 64-bit systems, it may be natural to  
> provide an immediate representation for strings of one or two code  
> points (or more, if a variable-width encoding is used).

That's quite true.  I'll have to consider what I think about that.

-- 
You know, you haven't stopped talking           John Cowan
since I came here. You must have been           http://www.ccil.org/~cowan
vaccinated with a phonograph needle.            [email protected]
        --Rufus T. Firefly

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to