The thing inherently wrong with dynamic typing is a lack of compile-time safety, increased overhead at runtime during interpretation, and a history of quirky comparison bugs. What you mean is "dynamic typing is convenient at overcoming ambiguity", which is true, but not enough to persuade those of us in the strongly-typed camp.