Valen recorre las funciones al revés para detectar use-after-free
A new way to think about borrow checking (in reverse)
El borrow checker de Valen, el lenguaje experimental de Evan Ovadia, hace su comprobación de seguridad de memoria en sentido inverso: parte de la última sentencia y sube hasta el inicio, manteniendo una lista de variables que se usarán más abajo y verificando que ninguna quede invalidada por una mutación. El autor explica las cuatro fases de compilación y defiende el orden inverso por comodidad, bucles y velocidad, aunque admite que quizá nadie lo haya intentado antes por algún motivo.
Valen compila una función en cuatro fases, y lo más raro es que la cuarta ocurre al revés: mira la última sentencia de la función y luego camina hacia atrás hasta llegar a la parte superior.