Re:“Rust is safe” is not some kind of absolute guarantee of ...
by layer8 on Sunday October 02, 2022 @01:30PM
(#33058153)
I 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).
[ Parent
| on HN ]
Re:“Rust is safe” is not some kind of absolute guarantee of ...
by avgcorrection on Sunday October 02, 2022 @01:50PM
(#33058386)
Going 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.
Re:“Rust is safe” is not some kind of absolute guarantee of ...
by layer8 on Sunday October 02, 2022 @02:05PM
(#33058552)
I disagree that “safe” as used by the Rust community is always restricted to memory safety, see my parent comment.
Re:“Rust is safe” is not some kind of absolute guarantee of ...
by veber-alex on Monday October 03, 2022 @04:24AM
(#33064840)
absence 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.