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.

>>31
Defining 2 as S(S(0)) and 4 as S(S(S(S(0)))), where S is the successor function and addition is defined as usual in the Peano arithmetic, we can prove that 2 + 2 = 4.

I don't know why I even bothered replying to your post.