Reginald Braithwaite took the time to put together a nice posting, in which he gives a A “fair and balanced” look at the static vs. dynamic typing schism.
The article discusses the two axes: “the likelihood of disaster and the magnitude of the consequences.”
I think it is spot on wrt compilers. However, I don’t think that a lot of people give type information for the compilers anymore. They do it for their tools.
For them the tradeoff is: “I have to ‘type’ more information in on types, but I get to use tools that are worth that time, as they give it back to me and more-so”.
There is no simple “winning” argument. You can believe in both sides.
The real winner though? Nice language AND nice tool. And, it’s coming.