GNAT சமூகம் 2020 முடிந்தது

வெளியே வந்தது GNAT Community 2020 — пакет средств разработки на языке Ада. В состав пакета входит компилятор, интегрированная среда разработчика GNAT Studio, статический анализатор подмножества языка SPARK, отладчик GDB и набор библиотек. Пакет வழங்கியது на условиях лицензии GPL.

முக்கிய மாற்றங்கள்:

  • В компилятор добавлена поддержка множества нововведений из черновика грядущего
    стандарта языка Ада 202х.
    Бакэнд был обновлён до GCC 9 (для всех платформ, кроме macOS). Добавлена поддержка платформы RISC-V 64.

  • Среда разработки GNAT Studio теперь использует
    свой LSP
    (Language Server Protocol) для языка Ада. На основе этого же сервера реализовано расширение для Visual Studio Code, теперь доступное в
    விஷுவல் ஸ்டுடியோ சந்தை.

  • В анализатор SPARK добавлена поддержка владения указателями (как в Rust), что позволяет доказывать отсутствие ошибок работы с памятью и отсутствие утечки памяти. Поддерживаемое подмножество языка было расширено новыми конструкциями.

ஆதாரம்: opennet.ru

கருத்தைச் சேர்