I can follow your premise that not enough time and effort ia out towards making sure our programs are correct and have low defect. I'm not sure I follow your jump to claim Rust and Zig solves that problem.

But I guess time will tell, when there will be as program running in those as there are C/C++ programs, we'll see if things are any better or not.