El borrow checker de Rust: elegancia sin recolector de basura
A Few Good Ideas in Programming Languages
Pranoy Dutta repasa tres características que considera brillantes en lenguajes de programación: el flow typing de Crystal y TypeScript, que permite que una variable cambie de tipo y se estreche según el contexto; el borrow checking de Rust, que evita carreras de datos en tiempo de compilación sin recolector de basura; y la programación por contratos de D, con aserciones, precondiciones, postcondiciones e invariantes de clase que hacen explícitas las garantías del código.
Me encanta el borrow checker porque es una solución tan elegante al problema de las carreras de datos y es una abstracción de costo cero que solo tiene el costo de las comprobaciones en tiempo de compilación y la complejidad añadida.