The take I have is that with a dynamically typed language you still have a static analysis step. It’s just that the analysis happens in your and other developers’ brain and it is objectively worse. I honestly can’t think of a single thing in favor of dynamic typing.
I write Clojure in my day job and it’s insane how often we have issues where it would have been immediately caught by a static type check.
I write Clojure in my day job and it’s insane how often we have issues where it would have been immediately caught by a static type check.