TypeScript is definitely the most successful (in terms of popularity and in terms of I think they did a good job) language to try to tackle this.

But it took possibly the best living language designer on Earth to do it, the type system is (deliberately) unsound and will never be able to be used for optimization, and the type system is just incredibly complex. Literally a Turing-complete language running in the compiler.

And that's the least bad that anyone's been able to come up with. I applaud the TypeScript folks for doing it, but I think it's a worse user experience than most other modern statically typed languages unless you happen to be sitting on a pile of JS code already.

It's like plasticine with wires through it. Sure, the wires help but it would have been better to not start with plasticine in the first place.