[IshKebab]

> Typing errors were not a top-ten concern

You're looking at a bridge made of wet cardboard and saying you shouldn't use FEA when designing bridges because the real problems are the fact that it's made of cardboard and it's wet.

> Also you don’t write tests just for types.

Not just. But you do have to write those tests as well if you don't use static typing. I have seen them written. Static typing reduces the number of tests you need to write. This is very very very well known.

> Black/white adolescent appeals to the one-true-way are not compelling and why you did not convince, then or now.

No, it's because you view static types as an admission that you might make mistakes and you don't want to admit that to yourself. You literally equated making typing mistakes with punching yourself in the face.

[mixmastamyk]

Jokes aside, a decent IDE will find errors like you mentioned. Don’t need to add types either, the static analysis will find it.

Turns out the trivial errors you’ve having trouble with are not a substantial problem with the right tools. As mentioned in my first reply.