5 ms·
I was also startled when python did ß.upper() returns "SS". Which is kind of unsuspected in some cases (if string length changes with an upper call)
by K0IN 22d ago
I was also startled when python did ß.upper() returns "SS". Which is kind of unsuspected in some cases (if string length changes with an upper call)
- smallerize 22d agoThat's in the standard. https://www.unicode.org/reports/tr21/tr21-5.html https://www.unicode.org/reports/tr21/tr21-5.html [SpecialCasing] Contains additional case mappings that map to more than one character, such as "ß" to "SS".
- kevin_thibedeau 22d ago5.1 adds uppercase ẞ which can fold to either ss or lowercase ß depending on the chosen algorithm.
- reichstein 22d agoYes, but for backwards compatibility, Unicode doesn't uppercase ß to ẞ.
- cpach 22d agoSeems kinda logical, since that’s how the Germans did it for a long time? ẞ wasn’t introduced until 2017 or so, AFAICT.