So I'm certainly not disagreeing with these points; but I am disagreeing with the magic bullet thinking which is provably untrue: Writing in FooLang will absolutely not make your programs safe for people to use. It _may_ be helpful, indeed, but it is neither necessary nor sufficient, as demonstrated by the software deployed in the field.
Neither Mike nor myself advertized a language as a magic bullet that makes programs safe.
You however seem to belive in superior powers of maintainer that outweighs advances of languages and runtime enviroments of the last decades.
I'd say you play a more dangerous game than us.