Hacker News Front Page · Evan Ovadia ·
Valen's Memory Safety: A New Kind of Borrow Checking
Valen propone un borrow checker que registra la ruta de datos a la que apunta cada referencia y la invalida cuando una operación puede destruir esos datos, con el objetivo de prevenir errores de uso después de liberar memoria sin imponer la exclusividad habitual de Rust. Este modelo permite conservar varias referencias al mismo objeto y escribir a través de ellas, además de modificar una parte de una estructura mientras otras partes siguen siendo accesibles. El diseño también plantea mecanismos para interoperar con Rust y, en futuras etapas, combinar el borrowing con reference counting y referencias generacionales; por ahora, se presenta como una propuesta sin resultados de rendimiento medidos.
Oct 11, 2026 —