Re: Allow digits in identifiers (issue 6493072)

[Werner LEMBERG]

> Here is another "cure" for that request: if we can get used to
> writing
>
>   "violin1" = { ... }
>
> for defining a name with numbers in it, it would be an obvious
> syntax extension to allow its invocation as
>
>   \"violin1"

Actually, I think this is quite nice.

> A somewhat non-obvious disadvantage is that this is likely to
> confuse the syntax highlighting of editors used to C-like strings,
> since \" is not a string delimiter at least inside of C strings, and
> so it might not be considered a string starter.

IMHO, this is not something which should influence our decision.  BTW,
similar problems exist with groff which has \x, \(xy, and \[xyz] to
access one-, two-, and multi-character entities.


    Werner