Agree 100%. If there's one rule the history teaches us over and over again in every aspect of our lives, is that you should never count on human discipline. You build your systems to work in spite of, not thanks to, human behaviour.

I'm not pushing the problem to lack of discipline. People are certainly fallible.

That's why static analysis is so useful. But there are many other factors to consider -- and sometimes dynamic languages are the better choice.

You have to balance a lot of factors when solving problems. Human fallibility is just one factor in the problem, but it is one among MANY.