No one ever says, "static typing gets in the way of writing correct programs." The argument against is always some arrogant nonsense about how productive they are while writing sloppy programs that they couldn't even describe to a compiler let alone another person. They just know their code is "correct," so why do they have to demonstrate it.