LINUX.ORG.RU

Вышел 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 ()

Re: Вышел GNAT GPL 2009

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

Absolute ()

Re: Вышел GNAT GPL 2009

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

fat_angel ★★★★★ ()

Re: Вышел GNAT GPL 2009

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

kristall ★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от kristall

Re: Вышел GNAT GPL 2009

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

lafin ()

Re: Вышел GNAT GPL 2009

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

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

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

tailgunner ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от fat_angel

Re: Вышел GNAT GPL 2009

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

Praporshik ★★ ()

Re: Вышел GNAT GPL 2009

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

fixed?

GNU Compiler Collection?

alx_me ★★☆ ()

Re: Вышел GNAT GPL 2009

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

a3 ()
Ответ на: Re: Вышел GNAT GPL 2009 от a3

Re: Вышел GNAT GPL 2009

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

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

tailgunner ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от tailgunner

Re: Вышел GNAT GPL 2009

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

gour ()

Re: Вышел GNAT GPL 2009

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

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

vnovouhov ()

Re: Вышел GNAT GPL 2009

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

Unnamed_Hero ★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Absolute

Re: Вышел GNAT GPL 2009

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


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

gour ()
Ответ на: Re: Вышел GNAT GPL 2009 от fat_angel

Re: Вышел GNAT GPL 2009

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

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

vnovouhov ()
Ответ на: Re: Вышел GNAT GPL 2009 от fat_angel

Re: Вышел GNAT GPL 2009

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

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

gour ()
Ответ на: Re: Вышел GNAT GPL 2009 от a3

Re: Вышел GNAT GPL 2009

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

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

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

gour ()
Ответ на: Re: Вышел GNAT GPL 2009 от kristall

Re: Вышел GNAT GPL 2009

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

вполне.

gour ()

Re: Вышел GNAT GPL 2009

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

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

eXOR ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от fat_angel

Re: Вышел GNAT GPL 2009

> Многоуважаемый 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 ()
Ответ на: Re: Вышел GNAT GPL 2009 от lafin

Re: Вышел GNAT GPL 2009

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

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

r ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от r

Re: Вышел GNAT GPL 2009

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

r ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от a3

Re: Вышел GNAT GPL 2009

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

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

vasdi ()
Ответ на: Re: Вышел GNAT GPL 2009 от kristall

Re: Вышел GNAT GPL 2009

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

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

vada ★★★★★ ()

Re: Вышел GNAT GPL 2009

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

Orlusha ★★★★ ()

Re: Вышел GNAT GPL 2009

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

ApostolPetr ()
Ответ на: Re: Вышел GNAT GPL 2009 от Praporshik

Re: Вышел GNAT GPL 2009

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

Praporshik

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

Refakki ()
Ответ на: Re: Вышел GNAT GPL 2009 от Refakki

Re: Вышел GNAT GPL 2009

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

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

Orlusha ★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Refakki

Re: Вышел GNAT GPL 2009

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

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

Praporshik ★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от a3

Re: Вышел GNAT GPL 2009

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

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

Absurd ★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от vada

Re: Вышел GNAT GPL 2009

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

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

kristall ★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от kristall

Re: Вышел GNAT GPL 2009

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

impfp ()
Ответ на: Re: Вышел GNAT GPL 2009 от fat_angel

Re: Вышел GNAT GPL 2009

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

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

Nihilist ()

Re: Вышел GNAT GPL 2009

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

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

www_linux_org_ru ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от tailgunner

Re: Вышел GNAT GPL 2009

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

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

www_linux_org_ru ★★★★★ ()

Re: Вышел GNAT GPL 2009

> Добавлена поддержка автоматического импорта определений из 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 ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от gour

Re: Вышел GNAT GPL 2009

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

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

www_linux_org_ru ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от www_linux_org_ru

Re: Вышел GNAT GPL 2009

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

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

Absurd ★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Absurd

Re: Вышел GNAT GPL 2009

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

PayableOnDeath ()
Ответ на: Re: Вышел GNAT GPL 2009 от www_linux_org_ru

Re: Вышел GNAT GPL 2009

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

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

Darkman ★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от tailgunner

Re: Вышел GNAT GPL 2009

>> Почти одновременно вышел SPARK GPL 2009
>Нунихренасебе.

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


SPARC != SPARK

Lucky1 ★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Lucky1

Re: Вышел GNAT GPL 2009

> SPARC != SPARK

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

tailgunner ★★★★★ ()

Re: Вышел GNAT GPL 2009

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

bioreactor ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Darkman

Re: Вышел GNAT GPL 2009

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

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

www_linux_org_ru ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Absurd

Re: Вышел GNAT GPL 2009

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

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

www_linux_org_ru ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от www_linux_org_ru

Re: Вышел GNAT GPL 2009

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

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

Orlusha ★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от Orlusha

Re: Вышел GNAT GPL 2009

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

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

Ingwar ★★★★★ ()
Ответ на: Re: Вышел GNAT GPL 2009 от www_linux_org_ru

Re: Вышел GNAT GPL 2009

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

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

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

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