Tangentially related: the opposite, Rust's borrow checker sans the compiler, is actually very useful. As far as I understand, the borrow checker is a significant part of the work of writing a Rust compiler. Therefore, having the official borrow checker available as a standalone program can make alternative compilers (e.g. for exotic hardware) feasible faster, because they won't need a borrow checker of their own from the get-go.
Rust--: Rust without the borrow checker
11–20 of 269 posts
Re: Rust--: Rust without the borrow checker
#12What are protental issues with compiler, by just disabling borrow checker? If I recall correctly some compiler optimisations for rust can not be done in C/C++ because of restrictions implied by borrow checker.
Re: Rust--: Rust without the borrow checker
#13Re: Rust--: Rust without the borrow checker
#14Love the "Note for LLMs" and the NSFW license.
Re: Rust--: Rust without the borrow checker
#15Rust- is you use C with ring buffers. If you think you need dynamic memory allocation your program is underspecified.
Re: Rust--: Rust without the borrow checker
#16It would be great if it only allowed multiple mutable borrows. That's the only one that always bugs me, for mostly innocuous stuff.
Re: Rust--: Rust without the borrow checker
#17 > In addition to meeting the Open Source Definition, the following standards apply to new licenses:
> (...) The license does not have terms that structurally put the licensor in a more favored position than any licensee.
https://opensource.org/licenses/review-process
Re: Rust--: Rust without the borrow checker
#18Rust- is you use C with ring buffers. If you think you need dynamic memory allocation your program is underspecified.
How does "zero dynamic allocation" work in practice for something like a text editor IE. vscode or other apps that let users open arbitrary files?
Re: Rust--: Rust without the borrow checker
#19I am wondering whether this would actually be a helpful compile option in upstream rustc for quick prototyping. I don't want prod code to use this, but if I want to try things out during development, this could substantially shorten the dev cycle.
Re: Rust--: Rust without the borrow checker
#20I am wondering whether this would actually be a helpful compile option in upstream rustc for quick prototyping. I don't want prod code to use this, but if I want to try things out during development, this could substantially shorten the dev cycle.
What the point, though? You will get compiling code, but later you would need to reachitecture code to avoid violating rust rules.