Assembly language is also Turing-complete. But you will not see an assembly-language borrow checker. There are bugs in libraries, and bugs in compilers. The mo

Assembly language is also Turing-complete. But you will not see an assembly-language borrow checker. There are bugs in libraries, and bugs in compilers. The more each is used, the sooner they are cleared out. The more useful each is, the more it is used. You can write more-useful libraries using features found only in C++ than you can write in other languages. It has been many years since I coded a malloc or free, and I don't expect ever to code one again.