GNAT コミュニティ 2020 がリリースされました

出てきた GNAT コミュニティ 2020 - Ada 言語の開発ツールキット。 パッケージにはコンパイラ、統合開発環境が含まれています GNAT スタジオ、SPARK 言語のサブセット用の静的アナライザー、GDB デバッガー、およびライブラリのセット。 ビニール袋 によって配布 GPL ライセンスの条項に基づいて。

主な変更点：

• コンパイラーは、今後のドラフトから多くの革新のサポートを追加しました。
  Ada言語標準202x.
  バックエンドは GCC 9 に更新されました (macOS を除くすべてのプラットフォーム用)。 RISC-V 64 プラットフォームのサポートが追加されました。

• GNAT Studio 開発環境では現在、
  あなたのLSP
  Ada 言語の (言語サーバー プロトコル)。 同じサーバーに基づいて、Visual Studio Code の拡張機能が実装されており、現在は で利用可能です。
  Visual Studio Marketplace.

• В スパークアナライザー ポインタ所有権 (Rust と同様) のサポートが追加されました。これにより、メモリ エラーやメモリ リークがないことを証明できます。 サポートされている言語のサブセットが新しい構造で拡張されました。

出所： オープンネット.ru