Re:Pessimism about parallelism
by wtracy on Wednesday December 26, 2018 @07:37PM
(#18766205)
I suspect the answer is, Rust ignores the general case, and simply doesn't let you do anything that's not provably correct.
[ Parent
| on HN ]
You can't use that argument and have turing completeness at the same time.
Yes, 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.