Foi lançado o GNAT Community Edition 2021

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

A nova versão do compilador utiliza o backend GCC 10.3.1 e oferece uma série de novos recursos. Foi adicionada a implementação das seguintes inovações do futuro padrão Ada 202x:

  • Novo perfil para sistemas embarcados Jorvik;
  • Suporte à aritmética de precisão arbitrária;
  • Declarações de expressões;
  • Renomeação de valores com inferência automática de tipos;
  • Contratos para referências a subprogramas;
  • Filtros em iteradores;
  • Agregados para contêineres.

Também implementamos várias funcionalidades experimentais (não padrão):

  • Um 'when' adicional para operadores return/raise/goto;
  • Correspondência com padrão;
  • Limite inferior fixo de arrays;
  • Chamada de subprogramas através de ponto para tipos não etiquetados.

Esta versão do compilador provavelmente será a última da sequência de lançamentos do GNAT Community Edition. No futuro, o compilador construído a partir dos códigos-fonte abertos do GCC poderá ser instalado utilizando o gerenciador de pacotes alire.

Fonte: opennet.ru

Compre hospedagem confiável para sites com proteção contra DDoS, servidores VPS VDS 🔥 Compre hospedagem confiável para sites com proteção contra DDoS, servidores VPS VDS | ProHoster