people who should know better continue to assert that statically typed languages are "safer, because the compiler can catch errors that otherwise wouldn't show up until runtime." While it's true a statically typed language can detect that you've assigned a string to a double without running your code, no type system is so strict that it can substitute for a test suite, and if you have a test suite, type-assignment errors are discovered and precisely diagnosed with little difficulty.Thank you. A language like Python, which lacks static type declarations for variables, is not evil or an accident waiting to happen.
The article is about functional languages. But the static declaration statement is universally true.