For me it's not so much the dynamic typing that makes the code hard to reason about--it's the object system, with its inheritance and mutable state. This is wh

For me it's not so much the dynamic typing that makes the code hard to reason about--it's the object system, with its inheritance and mutable state. This is why I like dynamic languages that have immutable-by-default data structures, like Clojure.