"a proper type checker goes far beyond that" But if it can't catch 60% of all errors and it can't. Then it's worse than dynamic typing. This isn't complicated

"a proper type checker goes far beyond that" But if it can't catch 60% of all errors and it can't. Then it's worse than dynamic typing. This isn't complicated. If you are excluding performance, then static typing is inferior to dynamic typing. It's that simple. No ifs, no buts. I do write statically typed code but that's for performance critical code. Since I've got good experience of both, I understand the differences very well. I assure you that using static typing in a scripting language like Python is a mindnumbingly stupid thing to do.