Static typing is security theater for programmers

http://blog.metaobject.com/2014/06/the-safyness-of-static-typing.html
Face it, Haskelitists: There are not a lot of bugs that can be caught by a type system. Such it up and use texting like the rest of us.

Static typing apologists think that if you use types as a design tools in your coding, then bugs will go away. I.e. to avoid division by zero, static typing zealot would introduce NonZeroInteger and then mediate between it and normal Integer. Lisp allows achieving the same by attaching the code to the interface into the code requiring non-zero input. So static typing basically sweeps bugs under the carpet by obfuscating code.