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.

>>48
You might not like the Curry-Howard correspondence, but it still exists.

It doesn't have anything to say anything about the GNAA, so I think maybe you have some things you need to work out.