> And on the safety side, rust fails miserably when compared with more fully managed environments. That's a rather extreme, unsubstantiated, and imo false, cla

> And on the safety side, rust fails miserably when compared with more fully managed environments. That's a rather extreme, unsubstantiated, and imo false, claim to just throw out there as a matter of fact. And I'd also be curious how you can square putting enough formal methods/verifiers around C/C++ without creating a far worse entry into the simple/expressive axis than rust.