Just because a compiler cannot prove whether or not a given set of C/C++ is safe, doesn’t mean that an expert in the language can’t write safe C++ and prove that it is actually safe.
Counterexample: All C++ in production. See also, existence of rust, swift, zig - literally all the "fast but not as crazy unsafe as C++" design space.
I wouldn't generally mention that (it's in the "sky is blue" class of interest). That a swift compiler role had this in the prereq struck me as hilarious.
JonChesterfield|2 years ago
I wouldn't generally mention that (it's in the "sky is blue" class of interest). That a swift compiler role had this in the prereq struck me as hilarious.