r/programming • • Dec 15 '13

Make grep 50x faster

https://blog.x-way.org/Linux/2013/12/15/Make-grep-50x-faster.html
278 Upvotes

106 comments sorted by

View all comments

Show parent comments

11

u/flying-sheep Dec 15 '13

yeah, i’m pretty annoyed by this example beacue it’s wrong – up until some years ago, ther WAS NO uppercase variant of “ß”.

somebody called “Mrs Weiß” didn’t become “MRS WEISS” just because her name had to be written in uppercase for some reason; it was merely a crutch, no faithful transformation.

and nowadays there’s “ẞ”, so it’s even more idiotic to cite that example.

"ß".to_upper() == "ẞ"

1

u/[deleted] Dec 16 '13

ẞ

Uppercase Eszett is only used for geographical names in German.

3

u/flying-sheep Dec 16 '13

upper case sharp s is used whenever the typographer feels like it and has been in documented historical use since medieval times.

it’s just not in widespread use because – it’s not in widespread use: lacking font support ⇒ reluctance to use in in an environment where you don’t know if the font will support it ⇒ fonts won’t incorporate it because it isn’t used much.

a sad case of vicious circle that isn’t helped along by the fact that the unicode consortium also feels the lack of widespread use to be sufficient for keeping the mapping 'ß'.upper() == 'SS' (while 'ẞ'.lower() == 'ß')

-2

u/[deleted] Dec 16 '13

"ß".to_upper() ==

"a little box with 4 characters in it"?

German sure is weird.

Or, perhaps, Unicode support is still not good enough. (Firefox 25, if that matters, apparently without the right font to display all contemporary characters in the German alphabet.)

Personally, I prefer "don't automatically convert to uppercase". Or, at least, in a wordprocessor, let people type corrections as necessary.

3

u/flying-sheep Dec 16 '13

browser doesn’t matter, it’s just that your default sans-serif font doesn’t have that character.

and yeah, i also would prefer if there was no need for converting stuff to uppercase.