I wonder how much TypeScript's terrible error messages have soured people on static types.
I can imagine many web developers (and designers) only contact with static type system is TypeScript.
Sure, static type errors in things like C++ templates or Rust lifetimes can get gnarly, but typical statically languages like Kotlin, Java, C#, C, etc don't get these kind of error messages anywhere near as fast as you do with TypeScript.