Кстати, интересный вариант, кто-нибудь использовал для Cortex? По ссылке в разделе "Новости" пишут, что: https://www.ada-ru.org/
24.07.2014 Доступен кросс-компилятор "GNAT GPL for Bare Board ARM" для платформ Linux, Mac OS X и Windows. Он позволяет вести разработку для процессоров ARM Cortex. Пакет включает студию разработки GPS, а также несколько разновидностей системных библиотек - минимальную версию (Small Footprint Profile) и Ravenscar Profile. Обе дают возможность исполнять Ада код без ОС. Ravenscar версия предоставляет эффективную, легкую, предсказуемую поддержку многозадачных систем. Скачать можно на сайте libre.adacore.com .
GNAT GPL 2012 вроде как AVR поддерживает, никто не пробовал?
Книжкой "Безопасное и надежное ПО на примере языка Ада 2012, SPARK 2014" Барнса завлекают:
https://www.ada-ru.org/safe_secure_2012 :)
mut (05.05.2017 15:11 - 15:36, просмотров: 448) ответил VVB на Чем ADA плох?