Вышел релиз GNAT GPL 2009 — сборка компилятора GCC от AdaCore.
Новшества:
Добавлена поддержка автоматического импорта определений из C и C++ заголовочных файлов. Теперь не надо дожидаться, пока кто–нибудь сделает привязки. (link link)
Стандартная утилита сборки пакетов gprbuild облегчает задачу сборки смешанных проектов (Ada&C++). Это упрощает внедрение Ады в проекты, уже начатые на C или C++. (link)
Появился порт для JVM, а также набор утилит AJIS, с помощью которых можно на высоком уровне из Java кода вызывать нативный Ada код и наоборот. (link)
Почти одновременно вышел SPARK GPL 2009. SPARK — это набор утилит, проверяющих утверждения касательно кода программы. С точки зрения компилятора, все утверждения находятся в специального вида комментариях, поэтому после успешной верификации исходники компилируются обычным компилятором Ады. Это первый раз, когда SPARK сделан доступным публично. (link)
После долгого перерыва снова есть порт на Mac OS X (x86_64). Предыдущий порт на Mac OS X был в 2006м году для PowerPC.
Полный список платформ в релизе, таким образом:
- dotnet-windows
- jvm-windows
- x86-windows
- x86-linux
- x86_64-linux
- x86_64-darwin
>>> Подробности
ada, adacore, gnat, gnu, spark, безопасность, программирование