[swiftcoder]

> There are programs that Rust will simply not let you write.

Can you specify a few of these programs?

I can see where Rust might not allow you to write something the way you want to, but I fail to see how a program would not be expressible in rust...

[steveklabnik]

They mean in Safe Rust. Unsafe is included in Rust for this reason.

[swiftcoder]

Is safe rust not Turing complete? I can see the argument that a purist "safe rust only" program might be slow, but it still will be expressible

[steveklabnik]

Turning completeness doesn’t take efficiency into account, nor the reality of things like “call into the operating system so that you can display output” that are necessary when building real systems.

[swiftcoder]

With respect, I think that's moving the goalposts. If we have defined out of existence all forms of I/O, then what are we actually discussing?

[steveklabnik]

We haven't, that's why Turing completeness is not relevant for the question at hand.

I can implement the non-IO parts of Brainfuck with safe Rust, so it is Turing Complete. That doesn't change the fact that there are useful programs not expressible in it.