News for hackers. Stuff that matters.

A comment on “Rust is safe” is not some kind of absolute guarantee of code safety. Parent comment

Re:“Rust is safe” is not some kind of absolute guarantee of ... by kaba0 on Monday October 03, 2022 @09:37AM (#33067313)
I don’t really get your comment - are you agreeing or disagreeing with parent? Because you seemingly say the same thing.

And continuing on parent’s comment, rust can only make its memory guarantees by restricting the set of programmable programs, while C and the like’s static analysis has to work on the whole set which is simply an undecidable problem. As soon as unsafe is in the picture, it becomes undecidable as well in Rust, in general.

[ Parent | on HN ]
Re:“Rust is safe” is not some kind of absolute guarantee of ... by ajross on Monday October 03, 2022 @12:38PM (#33069914)
The parent comment seemed to imply that using unsafe was a failing of the developer to prove to the compiler that the code is correct. And that's not right, unless you view thing like "doubly linked list" as incorrect code. Unsafe is for correct code that the compiler is unable to verify.
[ Parent | on HN ]