The article was not trying to discuss how to make programmers smarter. No language is going to help with that so there is no point in talking about it. As far a

The article was not trying to discuss how to make programmers smarter. No language is going to help with that so there is no point in talking about it. As far as the scope of the article is concerned, it's fair to say that statically verified code equals bug-free code.