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.

>>6

Static typing slows down prototyping

That premise is false. It's like saying variable assignment and library calls slows down prototyping. Sure, you can prototype with little preamble on some dynamic languages, but by doing so you are risking the effects of missing assignments required for the emulation of the prototype. So when you do not write all your requirements, you end up wasting more time overall trying to emulate the desired prototype.

With static typing, you are forced to write down your requirements, keeping you focused of the overall goal of the prototype.

In GC, it makes even more sense, because proper GCs should have a cache or readily usable types, making it easier to map when operating values.