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.

>>26
The type systems that you mention can't even statically ensure that array indices are within bounds and that resources are disposed of correctly. So yes, they can catch only the most trivial "square peg in round hole" errors.