I think there is strong religious orthodoxy surrounding static typing in computer science, and this article reflects this religiosity. Strong typing proponents

I think there is strong religious orthodoxy surrounding static typing in computer science, and this article reflects this religiosity. Strong typing proponents often fail to acknowledge alternative beliefs which assert that strong typing paradigms can be less effective and efficient than dynamic typing for many software development contexts. Rich Hickey, the creator of Clojure, is a fairly prominent counter-voice of this debate and provides some interesting context in this presentation: https://www.youtube.com/watch?v=2V1FtfBDsLU&t=2227s https://www.youtube.com/watch?v=2V1FtfBDsLU&t=2227s