Re: Yes, but
"Even the brightest engineers occasionally make mistakes"
Absolutely true. That's why we have a need for code reviews and comprehensive testing.
"The solution to this problem is fairly well understood, you design the language to make these sorts of bugs impossible."
That's not really a solution, big picture. It's just playing whack-a-mole. You can design languages to make certain sorts of mistakes impossible (often at a fairly high cost), but you can't design language to make all forms of serious mistakes impossible. So, although using "safer" languages can help, they are not comprehensive solutions. The real solution is to engage in proper engineering practices (one of which is to use the right tool for the job).