We (the industry) are still so quick to disregard the benefits of strict typing. "Back in the day..." I worked on a collection of vital (to the company) infras

We (the industry) are still so quick to disregard the benefits of strict typing. "Back in the day..." I worked on a collection of vital (to the company) infrastructure apps written in Borland Turbo (object) Pascal. Strong static type checking was enforced by the language. Good type design and strict type checking meant that it was normal that when a program compiled, it was bug free! Much as I enjoy the flexibility of python, I know that every refactor or significant change means that there are now execution paths that have not been exercised - the burden of comprehensive testing is enormous, far outweighing the convenience of dynamic typing.