I&#x27;m someone currently in the process of drinking the Rust kool-aid, in part because the goals of the language are very closely aligned with what Bernstein proposes here. Further, because of the memory model, the compiler can produce quite competitive performance while still preventing the execution of any undefined behavior (related to his last strawman in the bullet list).<p>I get that even if Rust offers a panacea to the issues he mentions (which it may or may not, I&#x27;m no expert), there&#x27;s still an awful lot of C code that would need to be deprecated and rewritten. But surely there&#x27;d be value in efforts to get away from a language that has such a loose standard?