News for hackers. Stuff that matters.
Re:How C++ Resolves a Function Call by whatshisface on Tuesday March 16, 2021 @07:02PM (#26484349)
>But a borrow checker does not change the set of possible programs.

Once you have Turing completeness you have the full set of possible programs, end of story. Languages aren't about changing the set of possible programs, they're about making good ones easier to write, and bad ones harder.

Re:How C++ Resolves a Function Call by ncmncm on Wednesday March 17, 2021 @03:11AM (#26487527)
Then there is nothing but ones and zeroes, and nothing to compare, and no insight to be had.

Yet, C++, D, and Rust are much more like one another than any of them is like any other language. Your Turing Completeness tells you less than nothing about any important distinction between them.