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.

>>16

types as a design tools in your coding, then bugs will go away

That premise is also false. It provides safety in the type system, not coding errors. A type system is not some magical thing that prevent coders from writing spaghetti.

Just to make sure this discussion does not delve into further drivel, speak with some background knowledge:
https://en.wikipedia.org/wiki/Type_system