Strong typing is only good in the presence of an expressive type system. With a crippled type system (as seen in Java and C++), strong typing prevents errors that could have been easily caught by testing while providing more opportunity for errors due to the extra could to work around the crippled type system. ML would be an example of a language whose type system is sufficiently expressive that strong typing actually helps you.