LINUX.ORG.RU

Вышел GNAT GPL 2010

 , ,


0

0

На сайте AdaCore доступна новая версия Ada компилятора GNAT.

Кроме непосредственно компилятора, в GPL версии доступны:

  • Ada-Java Interfacing Suite — набор инструментов для связывания кода на Ada и Java.
  • Ada Web Server — инфраструктура для разработки Web-приложений.
  • GNAT Programming Studio — мощная IDE для языка Ada.
  • PolyORB — унифицированное решение для разработки распределённых приложений, основанных на CORBA, Ada 95 Distributed System Annex, SOAP.
  • SPARK GPL — подмножество языка Ada и набор инструментов для статического анализа, предназначенные для разработки ПО с особыми требованиями к надёжности и безопасности.
  • GtkAda, XML/Ada, AUnit.

В этой версии также добавлена базовая поддержка возможностей будущего стандарта языка — Ada 2012.

Загрузить GNAT GPL 2010 можно отсюда.

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



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

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

Aesthete ★★ ()

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

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

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

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

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

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

Ilshat ()

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

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

mongrel ()
Ответ на: комментарий от Aesthete

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

kost-bebix ★★ ()

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

postrediori ()

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

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

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

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

tailgunner ★★★★★ ()

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

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

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

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

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

eveel ★★ ()

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

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

не совсем

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

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


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

gour ()

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

oh ()

ADA 2012!

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

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

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

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

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

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

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

И VHDL.

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

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

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

GluckMan ★★★ ()

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

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

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

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

Quasar ★★★★★ ()

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

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

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

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

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

Ваш К.О.

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

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

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

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

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

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

Ilshat ()
Ответ на: комментарий от yaws

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

oh ()
Ответ на: комментарий от Partisan

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

oh ()
Ответ на: комментарий от derrix

Ada 2012


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


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

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

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


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

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

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

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

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

undet ()

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

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

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

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

Мне кажется,

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

AVL2 ★★★★★ ()

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

anonymous ()

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

deadlock ()
Ответ на: комментарий от Zubchick

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

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

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

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

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

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

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

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

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

>> В отличие от игушки вроде 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-...

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

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

yaws ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.