>Do you have a specific language in mind that offers improvement? Any language with memory and type safety should comprise as much as possible of the whole sys

>Do you have a specific language in mind that offers improvement? Any language with memory and type safety should comprise as much as possible of the whole system. See the Singularity OS from Microsoft Research, or whatever that Rust OS project is called. Almost all the major, nicknamed, headline-grabbing RCE bugs in the last two decades are memory or type safety issues in C or C++ code. Every C or C++ developer claims safe code is possible or even easy in their favorite language, but history has proven them very wrong.