The next-gen borrow checker, a drop-in replacement for Rust borrow checking
Summary
The article provides a deep-dive into a new borrow checking approach in Zeta, critiquing Rust's borrow checker and proposing disjointness-based memory safety with &alias and provenance. It covers design goals, performance implications, and a practical linked list example.