3 ms·
Memory safety is a well-defined term.
by avgcorrection 4y ago
Memory safety is a well-defined term.
- layer8 4y agoI agree, but that isn’t the term that was used here, and Rust proponents usually mean more than memory safety by “safe” (like e.g. absence of UB).
- avgcorrection 4y agoGoing through that thread (a few posts back) it seems that “Rust is safe” (as seen in this submission title) was stated first by Torvalds. It wasn’t mentioned first by a “Rust aficianado”. So you would really have to ask Torvalds what he meant. But his mentioning of it (and this submission) obviously alludes to “safe” claims by the Rust project. Which has always been memory safety.
- layer8 4y agoI disagree that “safe” as used by the Rust community is always restricted to memory safety, see my parent comment.
- veber-alex 4y agoabsence of UB is literally memory safety. Rust proponents mean exactly "memory safety" when they say rust is safe because that is the only safety rust guarantees.