LINUX.ORG.RU
Новости — Open Source  

Вышел GNAT GPL 2009

 , , , , , ,


0

0

Вышел релиз 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

>>> Подробности

★

Проверено: Shaman007 ()

 ← 1 2 →

Многоуважаемый all может привести хоть одну более-менее значимую программу написанную на Ada, или он только в embedded используется?

fat_angel ★★★★★
()
Ответ на: комментарий от kristall

Как сказал наш преподаватель по Теории разработки ПО если вы хотите зарабатывать большие деньги на заказах из минестерства обороны США то Ада вам нужна.

lafin
()

> Почти одновременно вышел SPARK GPL 2009

Нунихренасебе.

А почему в релизе нет других архитектур (типа PowerPC, ARM, MIPS)?

tailgunner ★★★★★
()
Ответ на: комментарий от fat_angel

Ну вот я обслуживаю сервера с мидлетами на Ada. Большие такие... Клиентов много обслуживают (по HTTP инфу выдают)....

Praporshik ★★
()

> Вышел релиз GNAT GPL 2009 — сборка компиляторов GCC от AdaCore.

fixed?

GNU Compiler Collection?

alx_me ★★☆
()
Ответ на: комментарий от tailgunner

потому что адакоровцы хотят кушать. как результат - GNAT GPL - это больше для энтузиастов, живущих на x86/amd64 архитектурах. а разные кросс-компиляторы и иже с ними, которые явно не любительские - это желателен GNAT PRO, который по подписке и ~18K ёвров/баксов в год.

gour ★
()

Вот это я понимаю - язык программирования Ада.

Unnamed_Hero ★★★
()
Ответ на: комментарий от Absolute

> Кто небуть пробывал? Ну как?
> Absolute (*) (11.06.2009 15:32:41)

Живёт и, вроде, правильно компилит.
у GPS, как обычно, всё падает без допиливания (как и в GNAT GPL 2008)
GNATBench стал лучше, хотя тоже уже пару раз грохнулся на некоторых
"неправославных" конструкциях...
а в целом - хорошо. компилятор не глючит и это главное.
ибо редактировать можно и в (g)vime/scite/(x)emacse
:)

gour ★
()
Ответ на: комментарий от fat_angel

> Многоуважаемый all может привести хоть одну более-менее значимую программу написанную на Ada, или он только в embedded используется?

Да, мозг анонимуса на лоре -- раз, Говорят M$ написали часть NTFS-а на ADA -- два, вселенная -- три

vnovouhov
()
Ответ на: комментарий от fat_angel

> Многоуважаемый all может привести хоть одну более-менее значимую программу написанную на Ada, или он только в embedded используется?

я бы не сказал, что софт в авионике, к примеру, исключительно embedded =) (искать лениво сейчас, но гугль знает. или на сайте у какого-нибудь aonix-а можно посмотреть.)

gour ★
()
Ответ на: комментарий от a3

> А какой смысл использовать сейчас Аду? По сравнению с тем же C++, например.

нууу... зануднее в написании но гораздо удобнее в отладке. например. я на Ada как раз-таки с c++ и python-а переполз исключительно из-за этого.

ну и это... приобщаешься, такскзть. :)

gour ★
()
Ответ на: комментарий от kristall

> Ура, ура,...ура! А что АДА, достойна изучения или как?

вполне.

gour ★
()

> компилируются обычным компилятором Ады

таки не склоняется. компилятором Ада. И вообще адское там все.

eXOR ★★★★★
()
Ответ на: комментарий от fat_angel

> Многоуважаемый all может привести хоть одну более-менее значимую программу написанную на Ada, или он только в embedded используется?

не выдержал и пошерстил интернеты на тему.

http://www.cs.kuleuven.be/~dirk/ada-belgium/success/Who_s_Using_Ada.html
http://www.adaic.com/atwork/index.html
(Su-30 MKI) http://dic.academic.ru/dic.nsf/enwiki/1816927
(F-22) http://www.pcweek.ru/themes/detail.php?ID=55471
(Ada Image Server) http://adaimgsvr.sourceforge.net/
(так просто адского на SF.net) http://sourceforge.net/search/?words=ada&type_of_search=soft&pmode=0&...

gour ★
()
Ответ на: комментарий от lafin

>Как сказал наш преподаватель по Теории разработки ПО если вы хотите зарабатывать большие деньги на заказах из минестерства обороны США то Ада вам нужна.

И еще надо уметь стрелять - чтобы освободить себе место среди тех 5рых которые уже заняли там все вакансии.

r ★★★★★
()
Ответ на: комментарий от r

AFAIK в ньюйорксом и гонконггском метро используется. Я в детстве для гонконга табицы движения поездов составлял которые потом компилились с структуры ады.

r ★★★★★
()
Ответ на: комментарий от a3

>А какой смысл использовать сейчас Аду? По сравнению с тем же C++, например.

Ада положительно отличается паскалевским синтаксисом и фашистской системой типов без неявный приведений.

vasdi
()

JAda? Этто хорошо. А то всё *#, *#, *#... Надоело...

Orlusha ★★★★
()

Этож нAda, язычок живет и процваетает)

ApostolPetr ★
()
Ответ на: комментарий от Refakki

> Ось зла,язык Ада. Совсем у вояк с мозгами плохо.

Толсто. Анекдоту про верующую бабушку в магазине "Техническая книга" уже скоро 30 лет.

Orlusha ★★★★
()
Ответ на: комментарий от Refakki

Я такой же вояка, как осёл — лошадь. Тут чисто коммерческие приложения, за которые регулярно хочется убить их разработчиков....

Хотя, нет. Постоянно хочется регулярно убивать разработчиков. Так будет правильнее.

Praporshik ★★
()
Ответ на: комментарий от a3

>А какой смысл использовать сейчас Аду? По сравнению с тем же C++, например.

Смысла использовать С++ вообще нет.

Absurd ★★★
()
Ответ на: комментарий от vada

>Сначала паскаль выучи

Может три зеленые звездочки выпишут мне коэфициенты Клебша-Гордана для группы E8? Жалкий ты человек.

kristall ★★
()
Ответ на: комментарий от kristall

Нуу, квантовая механика - это юдоль Фортрана :)

impfp ★
()
Ответ на: комментарий от fat_angel

> Многоуважаемый all может привести хоть одну более-менее значимую программу написанную на Ada

Такие вопросы гораздо уместнее, когда анонсируется BARSIC, Falcon, Objective Modula-2 или ещё что-нибудь эдакое (пусть даже и хорошее). А Ада вполне себе раскрученный язык.

Nihilist ★
() автор топика

> Добавлена поддержка автоматического импорта определений из C и C++ заголовочных файлов.

А шаблоны понимает?

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от tailgunner

> Почитай, что такое SPARK.

Вот это из всей новости самое интересное.

www_linux_org_ru ★★★★★
()

> Добавлена поддержка автоматического импорта определений из C и C++ заголовочных файлов.

http://www.adacore.com/2009/02/23/gem-59/

Note that this is still a work in progress, not designed to generate 100% correct Ada specs.

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от gour

> нууу... зануднее в написании но гораздо удобнее в отладке. например. я на Ada как раз-таки с c++ и python-а переполз исключительно из-за этого.

Может, устроим обсуждение Ada vs. C++ ? Какие фичи Ады в плюсах реализуются криво?

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от Absurd

ты запости сразу 10 сообщений подряд со своими "мыслями" по поводу С++, а то раз в 7-8 сообщений как-то не серьёзно для зелёного

PayableOnDeath ★
()
Ответ на: комментарий от www_linux_org_ru

> Какие фичи Ады в плюсах реализуются криво?

Генерики намного прямее шаблонов. Система типов более вменяемая и практически однозначная. Параллельного программирования как в Аде в плюсах и близко не водится. Это так - с ходу.

Darkman ★★★
()
Ответ на: комментарий от tailgunner

>> Почти одновременно вышел SPARK GPL 2009
>Нунихренасебе.
>А почему в релизе нет других архитектур (типа PowerPC, ARM, MIPS)?

SPARC != SPARK

Lucky1 ★★★
()
Ответ на: комментарий от Lucky1

> SPARC != SPARK

Что заставило тебя подозревать, будто я этого не знаю?

tailgunner ★★★★★
()
Ответ на: комментарий от Darkman

> Генерики намного прямее шаблонов.

Вот с этого и начнем. Жду описание задачи, естественно воплощаемое в аде и криво -- в плюсах.

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от Absurd

> А что, в плюсах можно что-либо реализовать прямо?

Ты занаешь, можно, и на удивление много.

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от Orlusha

>Читаемость кода.

с каких пор? взял с полки «Введение в язык программирования Ада» Перминова (1991), полистал. вроде понятный паскалеподобный код. по сравнению с тем же с++

Ingwar ★★★★★
()
Ответ на: комментарий от www_linux_org_ru

> Вот с этого и начнем. Жду описание задачи, естественно воплощаемое в аде и криво -- в плюсах.

1) Параметризация модуля типом асинхронной задачи с жёстко заданными входами взаимодействия. Модулей в классическом понимании в плюсах, кстати, тоже нет.

2) Параметризация модуля для двух разных целочисленных типов - у одного диапазон 1..100, у другого -100..-1, без необходимости вводить классы, и, соответственно, городить реализацию кучи мат-операций.

Darkman ★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
 ← 1 2 →
Open Source