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

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.