What? It only turns back into a dynamic language if you give up and start using “any”. The more detailed your type system, the more distinctions you can represe

What? It only turns back into a dynamic language if you give up and start using “any”. The more detailed your type system, the more distinctions you can represent in it, and the more unintended behavior you can catch early. It can become more challenging to work with, but you’ll get end results that are more robust, which is one of the goals of strong typing.