GNAT 社群版 2021 發布

Ada 語言的開發工具包已經發布 - GNAT Community Edition 2021。它包括編譯器、集成開發環境 GNAT Studio、SPARK 語言子集的靜態分析器、GDB 調試器和一組庫。該軟體包根據 GPL 許可證分發。

新版本的編譯器使用GCC 10.3.1後端並提供了許多新功能。增加了即將推出的 Ada 202x 標準的以下創新的實現:

  • Jorvik 嵌入式系統的新設定檔;
  • 任意精度運算支援;
  • 聲明表達式;
  • 使用自動類型推斷重命名值;
  • 子程序引用合約;
  • 迭代器中的濾波器;
  • 容器單位。

我們也實現了一些實驗性(非標準)功能:

  • return/raise/goto 語句的附加「when」;
  • 模式匹配;
  • 固定數組的下界;
  • 對於非標記類型,使用點呼叫子程式。

最有可能的是,這個版本的編譯器將是 GNAT 社群版版本鏈中的最後一個。以後可以使用alire套件管理器安裝開源GCC編譯的編譯器。

來源: opennet.ru

添加評論