[uecker]

Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.

[masklinn]

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.

[uecker]

That Rust gives you correctness is very misleading claim.