O primeiro protótipo de empréstimo de regiões imutáveis do Vale

• A Vale desenvolveu um protótipo de empréstimo de regiões imutáveis, uma nova abordagem para segurança de memória em linguagens de programação.
• Esse protótipo combina referências geracionais e empréstimo de regiões para eliminar a sobrecarga da segurança de memória e tornar o código em Vale muito rápido.
• O empréstimo de regiões é opcional, permitindo que os programadores escolham quais partes do programa otimizar.
• O protótipo foi validado por meio de benchmarks e não mostra nenhuma sobrecarga observável em comparação com o modo inseguro.
• A Vale ainda precisa trabalhar em um pré-otimizador específico da linguagem e em suporte a dados inline para competir com linguagens como C e C++.
• A equipe está procurando patrocinadores que apoiem e ajudem no trabalho para transformar a Vale em uma linguagem de nível de produto.

[GN⁺]

Comentários do Hacker News

- Outro comentarista demonstra interesse no Vale e começa a assinar o feed RSS.
- Estão recrutando mais patrocinadores para apoiar o projeto Vale.
- Surge uma pergunta sobre o significado de "seguro" no contexto de referências geracionais.
- A otimização antecipada do Vale é comparada ao Cranelift do Rust.
- A abordagem do Vale é elogiada por combinar desempenho e segurança.
- Um comentarista diz que este artigo é difícil de entender e pede uma explicação.
- Fica claro que Vale é uma linguagem diferente de V.
- Uma mensagem de parabéns é enviada a Evan pelo alcance do marco.
- É fornecida uma explicação sobre os recursos e vantagens do Vale, incluindo compilação AOT, tipagem estática e técnicas de segurança de memória.```