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 slows down prototyping. You have to use these "patterns", like inversion of control and Liskov (shalom!) substitution principle, which are never an issue with Lisp. Moreover, in case of garbage collected languages like Haskell or Java, static typing doesn't really provide an optimization, because GC requires tags to be present on objects. The only justified use of static typing is in C and assembly, where it helps accessing structs.