At that point the forks will become its own thing and depart from Firefox.
Which is ironically and exactly how Firefox came to be.
Netscape fucked up Navigator, some folks forked Navigator and created Phoenix - which then was renamed to Firebird, then Firefox. And somewhere in that timeline the Mozilla foundation ditched Navigator in favor of the fork.
I'd say, read Hyprland's responses linked elsewhere in this thread before making any hasty decisions.
It seems (but I'm not sure, to be clear), that it was a situation that got solved, and people are still hung up on it.
It's like that "but you fuck one sheep" joke.
Because it looks manly.
It's like when they show a man with perfectly round manboobs. Something primal in me would say "I'd motorboard those!"
What's the product and what's the field?
Oh. Hehe. You have to go there. Understood.
Then don't go there.
I thought of Pascal, Java and C#, but pretty much any language listed here as "explicit / nominal / static" makes the cut:
https://en.wikipedia.org/wiki/Comparison_of_programming_languages_by_type_system
Oh, so what you're describing is strong typing. I thought it was a unique feature of Ocaml. But in reality, any strong-typed language will have this as well.
And yeah, Typescript merely "suggests" typing, and it will allow you to build the project even if you ignore the type errors. A build system refusing to, well, build, if there are typing errors usually takes care of this, but again, the dev team may as well not implement this.
What's so special about Ocaml's type system?
Average Linux user > average windows user.
Plus Linux doesn't track you (depending on distro, I suppose.)
But I kid. People should use whatever the fuck they want.