3 ms·
I suspect the answer is, Rust ignores the general case, and simply doesn't let you do anything that's not provably correct.
by wtracy 8y ago
I suspect the answer is, Rust ignores the general case, and simply doesn't let you do anything that's not provably correct.
- fooker 8y agoYou can't use that argument and have turing completeness at the same time.
- pornel 8y agoYes, you can. You can emulate a Turing machine (except with a finite memory, of course) in safe Rust, but given that the Turing machine is entirely serial by design, I don't see how is that even relevant. In practice, Rust has `unsafe {}` escape hatch that allows building of abstractions (like mutexes) for the safe majority of Rust using contained bits of as-safe-as-C code where necessary.