Rust Borrow Checker
Die Komponente des Rust-Compilers, die Ownership- und Lifetime-Regeln durchsetzt: eine veränderliche XOR beliebig viele unveränderliche Referenzen, alle Referenzen streng innerhalb der Lebensdauer ihres Objekts. Garantiert Speichersicherheit ohne Garbage Collector.
NLL (Non-Lexical Lifetimes, 2018) machte die Regeln großzügiger — Referenzen sterben, sobald sie nicht mehr benutzt werden, nicht erst am Scope-Ende. Polonius (in Arbeit) verspricht noch mehr Flexibilität. Berüchtigt frustrierend für Einsteiger ("gegen den Borrow Checker kämpfen"). Erfahrene Rust-Entwickler formulieren das Problem um → der Checker wird zum Handschuh, der beim Denken hilft. Hat inspiriert: Swifts Exclusive Access, Mojos Ownership, Carbon. Kein Laufzeit-Overhead — rein zur Kompilierzeit.