GNAT Community 2020 баромад

Омад Ҷамъияти GNAT 2020 - як асбоби рушд дар забони Ада. Маҷмӯа як компилятор, муҳити ҳамгирошудаи рушдро дар бар мегирад Студияи GNAT, таҳлилгари статикӣ барои зермаҷмӯи забони SPARK, ислоҳкунандаи GDB ва маҷмӯи китобхонаҳо. Халтаи пластикӣ паҳн мекунад тибқи шартҳои иҷозатномаи GPL.

Тағйироти асосӣ:

  • Мураттиб барои бисёр навовариҳо аз лоиҳаи дарпешистода дастгирӣ илова кардааст
    Стандарти забони Ada 202x.
    Барқарор ба GCC 9 навсозӣ шудааст (барои ҳама платформаҳо ба истиснои macOS). Дастгирии иловашуда барои платформаи RISC-V 64.

  • Муҳити таҳияи GNAT Studio ҳоло истифода мешавад
    LSP-и шумо
    (Протоколи сервери забон) барои забони Ада. Дар асоси ҳамон сервер, тамдид барои Visual Studio Code амалӣ карда шуд, ки ҳоло дар
    Бозори Visual Studio.

  • В Анализатори SPARK Дастгирии иловагии соҳиби нишоннамо (ба мисли Rust), ки ба шумо имкон медиҳад, ки набудани хатогиҳои хотира ва набудани ихроҷи хотираро исбот кунед. Зербанди дастгиришавандаи забон бо конструксияҳои нав васеъ карда шудааст.

Манбаъ: opennet.ru

Илова Эзоҳ