News for hackers. Stuff that matters.
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.
Re:Pessimism about parallelism by fooker on Wednesday December 26, 2018 @07:39PM (#18766213)
You can't use that argument and have turing completeness at the same time.
Re:Pessimism about parallelism by pornel on Thursday December 27, 2018 @06:29AM (#18768882)
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.