[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: evaluating numbers
From: |
Robert Pluim |
Subject: |
Re: evaluating numbers |
Date: |
Mon, 18 Nov 2019 17:54:18 +0100 |
>>>>> On Mon, 18 Nov 2019 18:25:47 +0200, Eli Zaretskii <address@hidden> said:
>> From: Robert Pluim <address@hidden>
>> Cc: Eli Zaretskii <address@hidden>,
>> address@hidden, address@hidden,
>> address@hidden, address@hidden
>> Date: Sun, 17 Nov 2019 21:02:02 +0100
>>
>> >> And, btw, why the ?\N{} part? why not just show the name?
>>
Richard> {} makes it easier for people to see where that name starts and
ends.
Richard> I think that is a good convenience.
>>
>> We could just as easily enclose the name in quotes. Using ?\N{}
>> informs people about that syntax. Personally Iʼm neutral on it, so
>> Iʼll go with whatever Eli decides.
Eli> If we want a clear indication where the name starts and ends, it's
Eli> better to use ("..."), i.e. just parentheses.
Char: i (105, #o151, #x69, (LATIN SMALL LETTER I)) point=55242 of 379127 (15%)
column=43
That seems ... suboptimal to me (at least, I donʼt like it).
Robert
- Re: evaluating numbers, (continued)
- Re: evaluating numbers, Eli Zaretskii, 2019/11/15
- Re: evaluating numbers, Eli Zaretskii, 2019/11/15
- Re: evaluating numbers, Robert Pluim, 2019/11/15
- Re: evaluating numbers, Robert Pluim, 2019/11/15
- Re: evaluating numbers, Lars Ingebrigtsen, 2019/11/15
- Re: evaluating numbers, Robert Pluim, 2019/11/15
- Re: evaluating numbers, Eli Zaretskii, 2019/11/15
- Re: evaluating numbers, Richard Stallman, 2019/11/16
- Re: evaluating numbers, Robert Pluim, 2019/11/17
- Re: evaluating numbers, Eli Zaretskii, 2019/11/18
- Re: evaluating numbers,
Robert Pluim <=
- Re: evaluating numbers, Eli Zaretskii, 2019/11/18
- Re: evaluating numbers, Robert Pluim, 2019/11/20
- Re: evaluating numbers, Eli Zaretskii, 2019/11/20
- Re: evaluating numbers, Robert Pluim, 2019/11/20
- Re: evaluating numbers, Eli Zaretskii, 2019/11/20
- Re: evaluating numbers, Richard Stallman, 2019/11/19
- Re: evaluating numbers, Robert Pluim, 2019/11/19
- Re: evaluating numbers, Robert Pluim, 2019/11/15
- Re: evaluating numbers, Eli Zaretskii, 2019/11/15
- Re: evaluating numbers, Robert Pluim, 2019/11/15