3 ms·
> Rust, BTW, doesn't entirely guarantee memory-safety, either > We always make some compromises on soundness; the question is where the sweet-spots are. Excel
by eeZah7Ux 7y ago
> Rust, BTW, doesn't entirely guarantee memory-safety, either
> We always make some compromises on soundness; the question is where the sweet-spots are.
Excellent point. There are complex tradeoffs and the "rust is safe" slogan is just a slogan.
- pcwalton 7y agoIt's not a slogan; there's a published type safety proof of the core of Rust. You may not like the assumptions that underlie that proof, but it's unarguable that "safety" has a very concrete meaning in the context of the language.