Borrow Checking Zero-Cost Cyclic Mutability
Summary
The article presents Ante's borrow checking approach, focusing on places and unstable places to enable safe, shared mutability and cyclic references. It compares to Rust's borrow checker and provides design rationale, examples, and implications for safe, zero-cost mutability in systems programming. It also covers exclusive mutation rules, multi-threading notes, and future directions.