Ante desafía a Rust con mutabilidad cíclica segura y sin coste en tiempo de ejecución
Borrow Checking Zero-Cost Cyclic Mutability
Ante, un lenguaje funcional de bajo nivel con semántica de propiedad, rediseña su borrow checker para permitir mutabilidad compartida más flexible. Inspirado en group borrowing, introduce 'places' en lugar de lifetimes y marca lugares inestables para detectar dangling pointers de forma estática. Esto permite patrones como referencias mutables simultáneas a elementos de un vector o estructuras cíclicas, manteniendo la seguridad y la interoperabilidad con otros lenguajes.
Places make borrow checking easier in general too! Borrow checking in Ante is actually very simple: whenever a value is used, error if any place it refers to has already been moved.