[flagged]
Something I've just realized recently is that while not all Rust programs are safe and sane, Rust is one of the few langages with a type system powerful enough that you can actually specify and build safe and sane programs with it.
Languages like C/C++ and friends don't have more inherently dangerous primitives they just lack that type system. Same floor, lower ceiling.
This is a big part of why people often say "if it compiles, it works" in rust.
I've seen it before with Java. That thing was pure OO, contained in a VM with GC, perfect world. Poor guy that has to maintain Java legacy code these days. Right, right, this time is different.
There are a few things working in Rust's favor:
* unsafe code is used to build safe abstractions around it, so most users don't have to write unsafe code themselves. It is easy to forbid use of unsafe blocks in your own codebase. You can flag unsafe code during code reviews, and have a policy who is allowed to write unsafe code.
* Rust leans on open-source dependencies a lot. Commonly used libraries are decent, since the community can band together to improve or replace them. This makes Rust applications mostly "glue" code, where there's less room to mess up in novel ways.
* the language allows defining strict library APIs which are harder to misuse. There's Clippy checking for common mistakes and sloppy code.
Rust already assumes that it will be written by less than prefect programmers.
I'll take your bet. Most Rust program I've seen don't use unsafe or when they do, it is fairly limited in scope.
Chance of winning on betting is usually pretty small.