Val, uma linguagem de programação de sistemas de alto nível

• Val: uma linguagem de programação focada em programação de sistemas de alto nível.
• Foi projetada para ser rápida, segura e simples.
• Val utiliza semântica de valor mutável e programação genérica.
• É compilada antecipadamente para código de máquina, evitando alocações de memória desnecessárias.
• A base de Val em semântica de valor mutável garante segurança de memória e segurança de tipos.
• Programadores podem usar construções inseguras quando necessário para obter desempenho.
• Val toma muito emprestado de Swift e enfatiza a semântica de valor.
• Val está em desenvolvimento ativo, e seu código é disponibilizado como open source no GitHub.
• Com foco em semântica de valor mutável para código eficiente e de propósito geral, Val ocupa uma posição única.
• Combina as restrições físicas da arquitetura de computadores com os benefícios da programação centrada em valores.
• Val oferece um tour da linguagem e informações detalhadas sobre sintaxe e semântica.
• Ainda não está pronta para uso, mas é possível discutir sobre ela por meio do fórum da comunidade.
• Os exemplos de código de Val mostram o uso da semântica de valor mutável e a ausência de alocações desnecessárias.
• Os subscripts de Val concedem temporariamente permissão para ler ou escrever valores.
• Os tipos de Val são tipos por valor, não tipos por referência.
• Val garante que uma função não acesse o valor dos parâmetros até que ela retorne.
• Val não usa anotações de lifetime como Rust.
• Val oferece um modelo mais simples, sem referências.

[GN⁺]

Comentários do Hacker News

• Val: uma linguagem de programação de sistemas de alto nível que pretende ser a sucessora de C++
• É compilada estaticamente, tipada estaticamente e interoperável com C++
• O Val elimina ponteiros e referências e, em vez disso, usa internamente passagem por referência constante e otimização de valor de retorno
• Ainda não lançou uma versão alfa, e tem número limitado de estrelas e contribuidores no GitHub, mas algumas pessoas apoiam o Val
• Há preocupações sobre a capacidade do Val de oferecer suporte ao sistema operacional Windows
• A existência de várias linguagens com abstração de custo zero, como Rust, Zig e Val, é algo que alguns programadores de sistemas apreciam e esperam ver resolvido
• O Val ainda está em desenvolvimento e não é considerado uma linguagem completamente utilizável
• O Val está recebendo atenção por sua associação com Dave Abrahams (Dave Abrahams é uma figura bem conhecida na comunidade de programação)
• Há perguntas e discussões sobre a implementação do Val, incluindo o processamento de strings e a viabilidade de implementar estruturas de dados autorreferenciais
• O Val parece ter objetivos sobrepostos aos de Rust, Zig e Vale, mas não aos de Vala
• Pode haver no Val uma válvula de escape semelhante ao unsafe do Rust, mas ainda se discute se o subconjunto seguro do Val é suficiente para aplicações reais
• Outras linguagens semelhantes ao Val incluem V, Vala e Vale