Объясните кто-нибудь, пожалуйста, кто всё-таки пишет на Ada?

AFAIK, военные.

Тут некоторые проекты перечислены: http://www.adacore.com/home/products/gnatpro/gp-customers/featured-projects/.

Компилятор языка Ада.

ну к примеру PL\SQL унаследовал его синтаксис, а так узкоспециализированые встраиваемы системы

> узкоспециализированые встраиваемы системы

Прежде всего ответственные, критичные системы (ИМХО)

> будещего стандарта языка

пофиксите -_-

В КПИ (Киевский Политехнический Институт) нас заставляли недавно, даже лабу написал какую-то. Конечно дико бесит, но приятно что хоть что-то на языке ада написал. Это прекрасно)

>Ada 2012

Я что-то подозреваю...

Они это знали давно!

Есть кто-то, кто с этим имел дело? Язык как-бы должен быть безопасным. Но с учётом колличества пользователей, безопасность, наверное, достигается отсутствием желающих что-либо поломать.

А как же Erlang/OTP и отказоустойчивость? :)

> А как же Erlang/OTP и отказоустойчивость? :)

В отличие от игушки вроде Erlang, на Ada пишут приложения, для которых failure is not an option.

Erlang - тормоз, Ada на уровне си

> новая версия Ada компилятора

либо Ada-компилятора, либо компилятора Ada, что звучит гораздо брутальнее :)

В отличие от игушки вроде Erlang, на Ada пишут приложения, для которых failure is not an option.

Суровые четырёхзвёздочные кодеры Ада.

Собстна совершенно не ясно в чем именно выражается эта пресловутая надежность. Мне кажется, это просто традиции и привычки, которые что на западе, что в рашке хрен сломаешь. Люди будут кодить на чем привыкли, пока их кнутом не заставят перейти на что-то современное.

не совсем

Люди будут кодить на чем привыкли,

пока их кнутом не заставят перейти на что-то современное

Ну... скорее всего люди будут кодить на том,
на чём указано в ТЗ проекта.
Ибо далеко не все проекты пишутся
методом «эволюционного программирования»
(читай: последовательными мутациями исходного проекта
и наростами-патчами на нём) и программисты-кодеры в которых
являют собой... эммм... скажем так... не творцов «нетленки»,
а специалистов по преобразованию технического задания в исходный код.
И если язык им в этом будет способствовать и уберегать своих пользователей (в данном случае - кодеров) от ошибок (не от всех, но от многих) путём ругательств на этапе компиляции - то это только хорошо.
А адский компилятор брюзжать обучен весьма и весьма качественно :)
... на SPARK, (здесь и далее - мнение дилетанта), кодировать несколько старобытно и в чём-то напоминает бег в мешках (точнее - ползание), ибо там почти нет приятных и полезных модных плюшек (разные многозадачности, к примеру), но зато - формальная верификация и всё такое.
=)

А чем безопаснее Haskell'я?

>Ada-Java Interfacing Suite

o_O

ADA 2012!

ОНИ что-то знают!...

Не в тему, но как anonim не могу никуда больше запостить «маки пламенем алым до самого моря горят»

http://www.google.ru/search?hl=ru&source=hp&q=%D0%BC%D0%B0%D0%BA%D0%B8+%D0%BF...

>> В отличие от игушки вроде Erlang, на Ada пишут приложения, для которых failure is not an option.

Суровые четырёхзвёздочные кодеры Ада.

Не, просто я историю знаю. И об Эрланге кое-что слышал %)

ну к примеру PL\SQL унаследовал его синтаксис, а так узкоспециализированые встраиваемы системы

И VHDL.

Хотя бы этим:
http://rsdn.ru/forum/decl/3602346.1.aspx
http://rsdn.ru/forum/decl/3828032.1.aspx
http://rsdn.ru/forum/decl/3562567.1.aspx

Кушай на здоровье.

>Объясните кто-нибудь, пожалуйста, кто всё-таки пишет на Ada?

Сатанисты. Обратные им пишут на Рая.

по синтаксису типичный паскаль, кстати что там слышно с AdaOpenGL а то она порядком уже протухшая.

derrix> Я что-то подозреваю...

Именно так - дотнетокапец.

В этой новости представляет интерес, что Ada всё ещё существует и даже развивается.

Комментарий: - Ada мало кому нужен, если вообще нужен. Ориентация на «надёжность» означает например контроль выхода индекса массива за границы диапазона и подобное. Сравнение с Erlang нелепо - тот ориентирован на отказоустойчивость распределённой работы. - Синтаксис Ada похож Modula-2. Но в техническом задании на разработку Ada было сказано, что синтаксис должен быть основан на Pascal-е, поэтому разработчики Ada это и заявили (что формально правда, т.к. Modula-2 основан на Pascal-е). Сравнение SQL/PL с Ada нелепо. - Ada применялся не вообще военными, а в работах по программах так называемого «министерства обороны США» (в действительности министерство агрессии). Не знаю, нравилось ли это ихним программистам.

> А как же Erlang/OTP и отказоустойчивость? :)

возможно он слишком громоздкий для встраиваемых систем а на Ада можно писать даже для AVR http://sourceforge.net/apps/mediawiki/avr-ada/index.php?title=Tutorial , какую-либо VM туда трудно засунуть...

> AFAIK, военные.

Причём американские.

> Сатанисты. Обратные им пишут на Рая.

Правильно пишется РАЯ - русский алгоритмический язык, также известный как язык академика Ершова. В своё время применялся у нас для обучения школьников информатике, пока кто-то наверху не решил, что информатика - это умение пользоваться Microsoft Excel.

Ваш К.О.

Причём по-моему, в тех учебниках аббревиатура РАЯ употреблялась вполне явно (хотя за давностью лет могу попутать).

> Ada применялся не вообще военными, а в работах по программах так называемого «министерства обороны США» (в действительности министерство агрессии).

Ну конечно, как же, ведь остальным, простым смертным, его применять запрещено! Гы-гы!

«Самолет Бе-200», «Автоматизированная станция документальной связи Министерства обороны Российской Федерации» - это из http://www.ada-ru.org/projects.html

На второй и третий примеры не особо смотрел, но в первом надо юзать foldl'

> (в действительности министерство агрессии)
Спасибо, поржал

Ada 2012

Я что-то подозреваю...

Где-то в декабре? Я правильно понял?

Ориентация на «надёжность» означает например контроль выхода индекса массива за границы диапазона и подобное.

В паскале это пожизни было. А также переполнение стека.

А вот перегрузка операторов надежности никак не добавляет, хотя, офигенно удобно. Ковыряться с векторами и матрицами просто улет!!!

что там слышно с AdaOpenGL а то она порядком уже протухшая.

А в ней нет особой необходимости. Генерируем Ada-пакет из C-шных заголовков и пользуемся. Разве что зачем-то нужен именно thick binding. Но это уже роскошь.

Нравится мне чем-то язык Ада. Всегда хотел что-нибудь на нем сделать.

>Собстна совершенно не ясно в чем именно выражается эта пресловутая надежность.

Это потому что

Мне кажется,

Достаточно убрать вот этот элемент из ЯП, чтобы он стал надежным.

Да уж, судя по ответам, это были неразрешимые проблемы...

круто

спасибо! работает очень быстро.

http://rsdn.ru/forum/decl/3828684.1.aspx

Все, понял что происходило. Ну и Haskell невинен аки агнец.

http://rsdn.ru/forum/decl/3565093.1.aspx

Поражают знания в предмете, даже не анонимусов. я понимаю, что это ЛОР, но ребята с зарегистрированными никами, скромнее надо быть.

даже не спорю ибо они итак узкоспециализированые ))

Благая новость. Отличный язык. Вполне себе замена C++, для тех кто желает писать надёжный софт.

> Собстна совершенно не ясно в чем именно выражается эта пресловутая надежность. Мне кажется, это просто традиции и привычки, которые что на западе, что в рашке хрен сломаешь. [...]

Сынок, тебе так кажется. А что бы понять в чём заключается 'пресловутая' надёжность Ады не помешало бы прочесть, что язык предоставляет для этого.

> [...] пока их кнутом не заставят перейти на что-то современное.

А ну-ка предложи-ка нечто более адекватное и современное для программирования надёжных систем, чем Ада.

> В отличие от игушки вроде Erlang, на Ada пишут приложения, для которых failure is not an option.

Erlang позволяет решать определённый класс задач, который на Ada вообще не решается за разумные сроки. Ознакомьтесь с мат.частью.

Так же «failure is not an option» по ряду причин вполне себе применим и для Erlang.

>> В отличие от игушки вроде Erlang, на Ada пишут приложения, для которых failure is not an option.

Erlang позволяет решать определённый класс задач, который на Ada вообще не решается за разумные сроки.

И как это противоречит моим словам?

Так же «failure is not an option» по ряду причин вполне себе применим и для Erlang.

Soft realtime и системы массового обслуживания - у них в определениях заложено, что некоторый процент сбоев приемлем.

P.S. собственно, я об этом: http://erlang.2086793.n4.nabble.com/Why-Beam-smp-crashes-when-memory-is-over-...

>Да уж, судя по ответам, это были неразрешимые проблемы...
Речь о безопасности программирования в контексте «чем ada безопаснее haskell», а не о «неразрешимых проблемах» илисистемах типов.

Ну и вот из сегодняшнего...
http://rsdn.ru/forum/decl/3860737.1.aspx

Что надо юзать здесь?