I hope you get the help you need.

Just go away.

Exactly.

That –at best– gives you the same performance.

EDIT: Ok, I misunderstood – you meant the performance of "case insensitive in kernel" vs. "case insensitive in userspace". I get your point now.

No, I'm not going to waste further time on trying to make you understand things you are not capable or interested in understanding.

The author of that paper hung around in the lang design forum were I originally presented this.

Case insensitive FSs aren’t a new thing.

More precisely, they came up in a time where Unicode was not a thing.

Yes, you need to attach the locale to the filename. No, I have no idea off the top of my head of how different file systems encode or store that.

They don't. None of them.

Or, if it is, then let’s go back to eight characters from the English alphabet in all caps. 8.3 filenames. Why not? [...] Why are spaces, cyrillic, special characters and long names worth doing but case insensitivity isn’t?

Because you cannot have both.

It is either "spaces, cyrillic, special characters and long names" or case insensitivity.

What blog?

To spell it out for you, very slowly: Casing is locale-sensitive.

You cannot determine whether file A and file B have the same case without taking the language the filename was written in into account.

Which means you need to somehow attach the locale to every file (name). Your browser could implement something to add that (semi-)automatically, but if grandma is creating a file from scratch, there is only so much you can do.

I hope this helps you understand why the thing you propose is stupid.

Good catch, that should have been if person in the first line.

It's been a left-over from when syntax looked like this:

  is Person("Alice", _)$person then "{$person.age}"
  is Person("Bob", $age)       then "$age"

So every time grandma picks a file name she needs to specify the locale?

What a stupid hill to die on.

How would that happen?