23 ms·
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 performa
by eternityforest 5y ago
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.
- legalcorrection 5y agoProven 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.
- eternityforest 5y agoThat'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.