Comment by uecker
11 hours ago
Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.
11 hours ago
Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.
50 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.
That Rust gives you correctness is very misleading claim.