GNAT Community Edition 2021 lançada

Foi publicado um pacote de ferramentas de desenvolvimento na linguagem Ada - GNAT Community Edition 2021. Inclui um compilador, um ambiente de desenvolvimento integrado GNAT Studio, um analisador estático para um subconjunto da linguagem SPARK, um depurador GDB e um conjunto de bibliotecas. O pacote é distribuído sob a licença GPL.

A nova versão do compilador usa o backend GCC 10.3.1 e fornece vários novos recursos. Adicionada implementação das seguintes inovações do próximo padrão Ada 202x:

  • Novo perfil para sistemas embarcados Jorvik;
  • Suporte aritmético de precisão arbitrária;
  • Expressões de declaração;
  • Renomeando valores com inferência automática de tipo;
  • Contratos para referências a sub-rotinas;
  • Filtros em iteradores;
  • Unidades para contêineres.

Também implementamos vários recursos experimentais (não padrão):

  • "Quando" adicional para instruções return/raise/goto;
  • Correspondência de padrões;
  • Limite inferior fixo do array;
  • Chamar sub-rotinas usando um ponto para tipos não marcados.

Muito provavelmente, esta versão do compilador será a última na cadeia de lançamentos do GNAT Community Edition. No futuro, o compilador compilado a partir do GCC de código aberto poderá ser instalado usando o gerenciador de pacotes alire.

Fonte: opennet.ru

Adicionar um comentário