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.

>>25

Theorem A: Units Testing catches all errors Static Typing does.
Theorem B: Static Typing doesn't catch most of the errors Units Testing catches.
Theorem C: Static Typing gets in the way, when you want to quickly prototype code and/or doesn't care if there are typing errors.
------
Corollary A: Static Typing is not a replacement for Unit Testing.
Corollary B: Units Testing is a replacement for Static Typing.
Corollary C: No reason bothering with Static Typing, when you have to do Unit Testing anyway.