Re: from case sensitivity discussions past...

On 1/16/2013 5:09 PM, Bjoern Hoehrmann wrote:
> * Anne van Kesteren wrote:
>> On Wed, Jan 16, 2013 at 9:36 AM, John Daggett <jdaggett@mozilla.com> wrote:
>>> Five years ago, *sigh*...
>> But but but cursor:progreß!
> As far as german is concerned, I rather doubt people expect `progreß` to match `progress`, including when spelled `PROGRESS`, even if this was an author-defined identifier.

With the "new" orthography, use of "ss" vs"ß" is now based on the length 
of the preceding vowel. That means that the fallback capitalization of ß 
to SS will seem to indicate a change of pronunciation, even if there's 
no pair of words that can actually be confused. Over time this tension 
between the SS spelling and the pronunciation, which is different for a 
word spelled with ß, might lead to increased use of the recently encoded 
capital form of ß, even though that is not yet part of the official 
orthography.

Bjoern's point is well taken, though: indiscriminate matching of 
identifiers containing ß with those containing ss, will likely result in 
less-than expected behavior, even if it conforms - technically - to the 
case mapping rules for German still in effect.

A./

Received on Thursday, 17 January 2013 01:34:08 UTC