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.

>>18

implying coders would use type-system verbosities explicitly to design safe programs, instead of fighting the typesystem and opening ways to circumvent it.