El primer prototipo de préstamo de regiones inmutables de Vale

• Vale desarrolló un prototipo de préstamo de regiones inmutables, un nuevo enfoque para la seguridad de memoria en lenguajes de programación.
• Este prototipo combina referencias generacionales y préstamo de regiones para eliminar la sobrecarga de seguridad de memoria y hacer que el código de Vale sea muy rápido.
• El préstamo de regiones es opcional, por lo que los programadores pueden elegir qué partes de un programa optimizar.
• Este prototipo fue validado mediante benchmarks y no muestra ninguna sobrecarga observable en comparación con el modo no seguro.
• Vale todavía necesita trabajar en un preoptimizador específico de Vale y en soporte para datos inline para competir con lenguajes como C y C++.
• El equipo está buscando patrocinadores que apoyen y ayuden con el trabajo para convertir a Vale en un lenguaje de nivel de producto.

[GN⁺]

Comentarios de Hacker News

- Otro comentarista expresa interés en Vale y empieza a suscribirse al feed RSS.
- Se buscan más patrocinadores para apoyar el proyecto Vale.
- Se plantea una pregunta sobre el significado de "seguro" en el contexto de las referencias generacionales.
- Se compara la optimización anticipada de Vale con Cranelift de Rust.
- Se elogia el enfoque de Vale por combinar rendimiento y seguridad.
- Un comentarista dice que le cuesta entender este artículo y pide una explicación.
- Se aclara que Vale es un lenguaje distinto de V.
- Se envía a Evan un mensaje de felicitación por haber alcanzado este hito.
- Se ofrece una explicación sobre las funciones y ventajas de Vale, incluyendo compilación AOT, tipado estático y técnicas de seguridad de memoria.```