If it typecheks ship it! XD

http://joyful.com/blog/2015-04-20-ssh-darcs-hub-vulnerability.html

Well typed programs don't go wrong!

>>11

You seem to think that because someone can fail to use a tool correctly

But the tool wasn't used incorrectly in this case. The tool was used correctly, but the tool was inadequate. No one in the thread said type systems should be abandoned. Just that Haskell's doesn't come near what its supporters profecize it to be.