> Rust actually can do things C++ can't do. People who use Turing equivalence to equate language capability are just uneducated imo. This is a very myopic view

> Rust actually can do things C++ can't do. People who use Turing equivalence to equate language capability are just uneducated imo. This is a very myopic view, and misses the point entirely. The entire notion of a "Turing machine" is that any Turing-complete machine can compute any result that another Turing-complete machine can compute. No mention is made of how the results are computed or how the programmer approaches the problem on each machine. Any Turing Complete language can be used to do the same work as any other Turing complete language or mechanism. The expressiveness of any particular language does not factor into the equation at all, and does not matter at all when speaking of what is computable and what is not. You are talking about language features, which is an entirely different topic. All Turing-complete languages are equivalent in terms of their abilities; that is to say that they can all compute the entire set of computable results.