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.

Programs are proofs, but only typed programs are useful proofs and only with regard to that which is expressed in types.

Tested programs can also be useful proofs, but testers aim for code coverage instead of spec and assumption coverage for some weird reason so they rarely ever prove anything useful.