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.

>>39
It follows by the definition of addition.

Addition is defined recursively as:
[1] a + 0 = 0
[2] a + S(b) = S(a + b)

Thus we can perform the addition by using the definitions
S(S(0)) + S(S(0))
= S( S(S(0)) + S(0) ) (def 2)
= S( S(S(S(0))) + 0 ) (def 2)
= S( S(S(S(0))) ) (def 1)
= 4

Are you using me?