Hacker News Front Page · Evan Ovadia ·
A New Way to Think About Borrow Checking (In Reverse)
Valen propone un borrow checker experimental que verifica la seguridad de memoria recorriendo las funciones en sentido inverso: registra los usos pendientes, los contrasta con las mutaciones y los elimina al encontrar declaraciones. El artículo explica cómo este enfoque detecta referencias invalidadas, cómo se adapta a los bucles y por qué podría simplificar el análisis de últimos usos, aunque su posible ventaja de rendimiento todavía no se ha medido. También compara el diseño con Rust y describe aspectos aún pendientes, como el control de flujo interrumpido y los closures.
Travel backwards in time, so that you already know the future