Skip to main content

r/programminghorror

members
online

[corroded update]: Rust--, now I removed the borrow checker from rust itself [corroded update]: Rust--, now I removed the borrow checker from rust itself

You may have seen the corroded lib. I've been thinking, why bother with unsafe code while I can just remove the borrow checker from the compiler entirely?

Now possible at the language level:

  • Move then use

  • Multiple mutable references

  • Mutable borrow then use original

  • Use after move in loops

  • Conflicting borrows

I've no idea where I'm going with this shit. But I think a lot of interesting stuff will pop up from this that I cannot think of at the moment.

Here is Rust-- for you, repo is here.

Happy new year. Enjoy.


Disciplined multi-agent engineering built for professionals. Free download.
Image Disciplined multi-agent engineering built for professionals. Free download.