Sure, there are some worse/more limited predecessors – my design was partially motivated by a desire to improve upon these.

For instance, that ML-derivative you are using for your examples

• very likely still has if then else in the language, thus making it not unified
• desperately tries to emulate functionality with guards that simply comes out of the box with my approach
• relies on the ultimate hack of “match on unit”, because match is very limited in which coding patterns it can express

Also, none of the examples are “more clear” or “have less magic”:
Maybe they are more “familiar” to you personally, but that’s about it.

Too me they just look clunky, full of accidental complexity and trying to work around a poor/limited language design.

deleted by creator

deleted by creator

deleted by creator

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.

Why do have such a strong opinion on things you –rather obviously– understand very poorly?

Why would grandma need to specifiy the locale?

Yeah, maybe figure this one out for yourself to get you on track for learning something.

someone spontaneously brings up non-latin alphabets as if they are equivalent to case sensitivity for no good reason

That sentence makes no sense. You don’t have to agree on things, but at least be coherent in your objection.

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?

deleted by creator