Static typing won there's no point arguing over it anymore. The issue is the type systems. Someone writing Haskell will have a very different opinion of types

Static typing won there's no point arguing over it anymore. The issue is the type systems. Someone writing Haskell will have a very different opinion of types versus someone writing Rust versus someone writing Typescript versus someone writing Bash. That's why you see a negative reaction to static typing. Its the developer experience. Its the error messages. Its the amount of time and mental effort it takes to type something correctly. If you told me I had to choose between dynamic Python or strict Typescript I would choose Python. I love static typing. I hate Typescript. So don't die on a hill! Just make better type systems!