Вышел GNAT GPL 2009

Кто небуть пробывал? Ну как?

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

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

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

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

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

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

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

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

fixed?

GNU Compiler Collection?

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

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

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

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

> Проверено: Shaman007

УРА!!! Шаман проверил сорцы GNAT-а!!!

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

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

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

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

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

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

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

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

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

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

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

вполне.

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

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

> Многоуважаемый 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&...

>(Su-30 MKI) http://dic.academic.ru/dic.nsf/enwiki/1816927

Держите меня трое %)

"Some of the components developed by Indian agencies were: *Mission Computer Display Processor-MC-486 and DP-30MK ... Ada language was adopted for the mission computer's software."

Индокод на Аде :D

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

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

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

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

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

список проектов. многабуков на аглицком, не для Ъ-lor-овцев =)
http://archive.adaic.com/projects/successes.html
http://www.adahome.com/Ammo/Success/
http://www.tc.umn.edu/~puk/gps-ada.htm -- AdaGPS (Global Positioning System, не GNAT Programming Studio)
http://archive.adaic.com/projects/proj95.txt
http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html

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

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

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

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

==Ну вот я обслуживаю сервера с мидлетами на Ada==

Praporshik

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

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

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

С adahome лучше ссылки не приводить. Ресурс давно не обновлялся, может ввести в заблуждение.

http://groups.google.com/group/comp.lang.ada/browse_frm/thread/81d61b446220de...

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

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

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

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

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

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

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

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

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

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

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

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

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

> Добавлена поддержка автоматического импорта определений из 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.

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

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

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

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

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

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

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

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

SPARC != SPARK

> SPARC != SPARK

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

Компилятор из ядра ада

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

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

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

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

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

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

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

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

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

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

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