I find your opinion baffling to be honest. It's simply not true. Every statically typed language works like I described. Even Typescript works like this. You c

I find your opinion baffling to be honest. It's simply not true. Every statically typed language works like I described. Even Typescript works like this. You can have your IDE plugins, but you definitely don't need them to perform type checks. It's not true this requires "a nightmare of 30 command line tools", you just need one: the type checker (built into the language in most statically typed languages, but sometimes split into a separate tool). Besides, your IDE doesn't live in the build pipeline (in your CI/CD tool). So you cannot rely on it.