Dynamism is certainly available to statically typed languages, but I believe the problem comes at how difficult it is to write dynamic code in static-typed lang

Dynamism is certainly available to statically typed languages, but I believe the problem comes at how difficult it is to write dynamic code in static-typed languages, and to use the common building blocks that help you solve real problems. Writing dynamic code in static languages is like running through mud, just like writing static checking in dynamic languages is. I think both paradigms are important and valuable for different applications, but I have never seen a language that does both in any truly useful way.