2 ms·
Rust is Turing complete. There's nothing a Rust library can't do, there are only ways in which rust cannot do things. I think the whole point of rust is to not
by eternityforest 4y ago
Rust is Turing complete. There's nothing a Rust library can't do, there are only ways in which rust cannot do things. I think the whole point of rust is to not do things in ways that the computer can't prove are correct.
But like any language, it gives you other ways to do those things. It's almost like stack overflow's habit of telling people to do something else instead of what they asked, but enforced by the compiler so your manager can't make you do it the "simple and interesting but unsafe way".
There are a lot more libraries in the world than language writers, and there are bugs in libraries.
Plus, you often have to malloc and free and all that even if you are using libraries for everything. Mistakes happen, CVEs happen, and the world loses trust in software a little more every time.
- ncmncm 4y agoAssembly 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.