Ante lockert den Borrow-Checker: zyklische Mutabilität ohne Laufzeitkosten
Borrow Checking Zero-Cost Cyclic Mutability
Ante, eine funktionale Sprache mit Ownership und Borrowing ähnlich Rust, erlaubt nun sichere gemeinsame Mutabilität, die auch zyklische Datenstrukturen und komplexe Datenflüsse abdeckt. Statt Lifetimes nutzt der Compiler „Places“ und markiert instabile Referenzen, sodass Code wie das gleichzeitige Mutieren zweier Vec-Elemente akzeptiert wird, ohne dass dangling Pointer entstehen. Das senkt die Zahl der Borrow-Checker-Fehler und erleichtert die Interoperabilität mit Sprachen wie C#.
Wenn die Form eines Typs stabil ist, gibt es keine Möglichkeit, ihn so zu mutieren, dass eine zuvor gültige Referenz darauf ungültig wird.