Comments by "" (@diadetediotedio6918) on "Why i think C++ is better than rust" video.
-
7
-
7
-
6
-
3
-
2
-
2
-
@shinobuoshino5066
It depends on what are you talking about "proof". Rust is literally logically checked for safety, so in this matter I just think you are blatantly talking about something you don't know. Rust, of course, cannot solve <all> classes of safety bugs, but within the borrow checker rules and the default strictness of the compiler it can <ensure> you the safetyness and correctness of the code as it is written by the logic it is written in a great deal of cases. It had proved itself on Android as well, as 20% of all new Android code is being written in Rust and google itself reported that there is almost no memory unsafety bugs discovered in this new Rust code, on theirs report: ["To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code."] (2022 report)
While this is not a definitive proof that Rust will help in practical code to solve all issues with memory safety, heuristically we can say so, because the safe-checked language is formally sound, and because we know a bunch of companies are adopting it over the time and they are not generally going back into other languages because of security problems.
1