GNAT қауымдастығы 2020 шықты

Шықты GNAT қауымдастығы 2020 - Ada тіліндегі әзірлеу құралдары. Бума компиляторды, интеграцияланған өңдеу ортасын қамтиды GNAT студиясы, SPARK тілінің ішкі жиынына арналған статикалық анализатор, GDB жөндеу құралы және кітапханалар жинағы. Пластикалық пакет таралады GPL лицензиясының шарттарына сәйкес.

Негізгі өзгерістер:

  • Компилятор алдағы жобадан көптеген инновацияларға қолдау қосты
    Ada тілінің стандарты 202x.
    Сервер GCC 9 нұсқасына жаңартылды (macOS-тан басқа барлық платформалар үшін). RISC-V 64 платформасына қолдау қосылды.

  • GNAT Studio әзірлеу ортасы қазір пайдаланылады
    сіздің LSP
    (Language Server Protocol) Ada тіліне арналған. Сол серверге негізделген Visual Studio Code кеңейтімі енді қол жетімді
    Visual Studio Marketplace.

  • В SPARK анализаторы Жад қателерінің жоқтығын және жадтың ағып кетуінің жоқтығын дәлелдеуге мүмкіндік беретін көрсеткішті иеленуге қолдау қосылды (Rust сияқты). Тілдің қолдау көрсетілетін ішкі жиыны жаңа құрылымдармен кеңейтілді.

Ақпарат көзі: opennet.ru

пікір қалдыру