On Fri, Sep 1, 2017 at 10:48 AM, William Cheswick <ches@cheswick.com> wrote:
I think we have 30 years’ experience that clearly shows that dangerous languages
will be misused in critical areas, even if most of us are very careful.

Marcus Ranum once wrote a one-page version of inetd that he thought was secure.  He was and is as committed to security as anyone, and had long experience writing software important to the early Internet.  Steve Bellovin found a security hole in that one-page program.

I am convinced that a safe language with very tiny holes allowing access to dangerous stuff (like memory management in the kernel) is simply safer.  Clearly, we are no where near that right now.

​+1​