El borrow checker de Valen permite alias mutables al rastrear hacia dónde apuntan las referencias
El lenguaje experimental de Evan Ovadia se basa en la propuesta de préstamo grupal de Nick Smith, con la interoperabilidad con Rust como objetivo de diseño.
By RuntimeWire Staff · Published · Updated
Primary source: Evan Ovadia
Por qué importa
Valen está probando si la seguridad en tiempo de compilación puede permitir aliasamiento mutable sin referencias colgantes, un compromiso con implicaciones para los lenguajes de sistemas y la interoperabilidad con Rust. Su prototipo y el requisito de un rustc parcheado hacen de esto un diseño temprano, no una alternativa de producción a Rust.
Evan Ovadia publicó una nueva explicación del verificador de préstamos de Valen el 11 de octubre, describiendo un diseño de compilador que permite que múltiples referencias al mismo objeto lean y escriban mientras rastrea si esas referencias podrían volverse inválidas. La propuesta, llamada préstamo grupal, desplaza la comprobación de seguridad de prohibir ciertas combinaciones de referencias a registrar hacia dónde apunta cada referencia y qué podría invalidar una operación.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.