News for hackers. Stuff that matters.

A comment on Bugs that the Rust compiler catches for you. Parent comment

Re:Bugs that the Rust compiler catches for you by eternityforest on Friday May 06, 2022 @02:21AM (#31281904)
Why would you ever want to wrote something that isn't provable, when you could write something that is?

You always have unsafe blocks for tiny bits of performance critical hardware interaction stuff, but in general, I don't see why we need to be able to access the whole program space in 99% of cases.

[ Parent | on HN ]
Re:Bugs that the Rust compiler catches for you by legalcorrection on Friday May 06, 2022 @02:26AM (#31281930)
Proven by Rust’s borrow checker. That’s not the same as the world of all provably safe programs, which is probably infinitely larger than what Rust will allow.
[ Parent | on HN ]
Re:Bugs that the Rust compiler catches for you by eternityforest on Saturday May 07, 2022 @04:59PM (#31298525)
That's perfectly fine, as long as you can still get the majority of things done in a way Rust can prove.

If removing a large number of possible programs reduces bugs without limiting features, that seems like a win.

[ Parent | on HN ]