4 ms·
The discussion thread at LWN has already mentioned standards for Unicode identifiers (RFC 8264 and RFC 8265), which prescribe how to handle all these problems,
by adrian_b 2y ago
The discussion thread at LWN has already mentioned standards for Unicode identifiers (RFC 8264 and RFC 8265), which prescribe how to handle all these problems, i.e. which characters should be allowed in identifiers and how to normalize and compare Unicode identifiers.