A linguagem de programação Elixir acaba de dar um salto significativo com a chegada da versão 1.20, focando-se na fiabilidade do código e na velocidade de execução. Conforme detalhado no blogue oficial do Elixir, esta atualização introduz um sistema de inferência de tipos que deteta erros de forma automática sem exigir anotações manuais por parte dos programadores.
Verificação de tipos sem complicações
A grande novidade desta versão é a integração da inferência de tipos e da verificação gradual. Ao contrário do que acontece noutras linguagens, o Elixir 1.20 não obriga a escrever anotações extensas. O sistema consegue identificar de forma automática partes que nunca seriam executadas ou problemas que fariam o software falhar no momento de execução. Tudo isto é alcançado com uma taxa extremamente baixa de falsos positivos, poupando trabalho adicional.
O sistema foi redesenhado em torno do tipo dinâmico, marcando um distanciamento face às estratégias adotadas noutras opções do mercado. Graças a esta base, a implementação das verificações de segurança ocorre de forma fluida, com o mínimo de disrupção nas práticas de desenvolvimento já existentes.
Compilação mais rápida e novas opções avançadas
Para além destas melhorias na estrutura, a nova versão traz tempos de compilação bastante inferiores, o que se nota especialmente em computadores com vários núcleos. Testes sintéticos recentes indicam que a ferramenta de criação do Elixir se posiciona agora como a mais veloz entre todas as linguagens baseadas no ambiente BEAM.
A acompanhar este aumento de desempenho, a atualização introduz ainda uma nova opção para o compilador. Esta configuração permite que a execução dos módulos seja alternada entre o modo compilado e o interpretado. Embora não altere os ficheiros finais gravados no disco, esta flexibilidade muda a forma como o código dentro dos blocos principais é processado, o que pode representar ganhos expressivos de velocidade em projetos de grandes dimensões.
Nenhum comentário
Seja o primeiro!