Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.
reply50 years of computing have proved pretty conclusively that less than that is wishful thinking at best. Large C++ programs, even with massive amounts of resources and tooling, can’t even get memory management correct.
replyThat Rust gives you correctness is very misleading claim.
reply