[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The empty string and other empty strings
From: |
David Kastrup |
Subject: |
Re: The empty string and other empty strings |
Date: |
Tue, 10 Jan 2012 18:04:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux) |
address@hidden (Ludovic Courtès) writes:
> Hello Mark,
>
> Mark H Weaver <address@hidden> skribis:
>
>> address@hidden (Ludovic Courtès) writes:
>>> Anyway, it seems that before, you couldn’t get any encoding error for
>>> scm_from_stringn ("", "SOME-ENCODING"), whereas now you can.
>>
>> Good point. I just committed a change to avoid this.
>
> Cool, thanks for the instant reply and fix!
>
> And thanks to Mike and you for the remainder of the discussion and
> optimizations.
>
> BTW, I just noticed that R5RS uses the phrase “empty strings” (plural)
> in the description of ‘eq?’, which means we’re indeed on the right track.
R5RS is supposed to be a standard, not a guessing game. When there is
nothing more definitive than splitting hairs in the grammar of the text,
I would prefer sane semantics over probably not even intended
contortions.
"Freshly allocated" for me means that _no_ string operation on
pre-existing objects can make this string different from what it is.
And since there is no way to share the empty contents of an empty string
with other strings, this is true even if every empty string is eq? to
every other one.
--
David Kastrup
- Re: The empty string and other empty strings, (continued)
- Re: The empty string and other empty strings, David Kastrup, 2012/01/13
- Re: The empty string and other empty strings, Mark H Weaver, 2012/01/13
- Re: The empty string and other empty strings, David Kastrup, 2012/01/13
- Re: The empty string and other empty strings, Marijn, 2012/01/16
- Re: The empty string and other empty strings, David Kastrup, 2012/01/16
- Re: The empty string and other empty strings, Andy Wingo, 2012/01/20
- Re: The empty string and other empty strings, David Kastrup, 2012/01/10
- Re: The empty string and other empty strings, Mike Gran, 2012/01/10
- Re: The empty string and other empty strings, Mark H Weaver, 2012/01/10
- Re: The empty string and other empty strings, Ludovic Courtès, 2012/01/10
- Re: The empty string and other empty strings,
David Kastrup <=
- Re: Guile BUG: What's wrong with this?, Bruce Korb, 2012/01/06
- Re: Guile: What's wrong with this?, Ian Price, 2012/01/07
- Re: Guile: What's wrong with this?, Mark H Weaver, 2012/01/08
- Re: Guile: What's wrong with this?, David Kastrup, 2012/01/06
- Re: Guile: What's wrong with this?, David Kastrup, 2012/01/05
- Re: Guile: What's wrong with this?, Ludovic Courtès, 2012/01/04
- Re: Guile: What's wrong with this?, Mike Gran, 2012/01/03
- Re: Guile: What's wrong with this?, nalaginrut, 2012/01/04
- Re: Guile: What's wrong with this?, David Kastrup, 2012/01/04
- Re: Guile: What's wrong with this?, Ludovic Courtès, 2012/01/04