Static typing zealotry is such a spiritually castrated activity: there&rsquo;s this mentality that &ldquo;real programmers&rdquo; would never even fathom using dynamically typed languages. I also find the idea of &ldquo;but correctness of the program is in the types&rdquo; a pretty deficient premise &ndash;tests are what gives you confidence that your program is correct, not types. The compiler…