Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Другие языки > [Ada] ADA жива?

Автор: libricon 16.10.2005, 22:40

Давно давно , я читал статью, и там было сказано , что был такой язык, неплохой "ада" , но он не очень хороший, и если выбирать между с++ и адой, то си вне конкуренции, но вот сейчас читаю книгу c++ programming HOWTO и там сказано что возможно в будущем ада станет возможно заменой авы.

что можете сказать об этом?

Автор: Cr@$h 16.10.2005, 23:04

Хорошая статейка в этом http://www.iso.org/iso/en/commcentre/pdf/Ada0105.pdf на ISO лежит. Последний стандарт -- 1995 г.

Автор: libricon 17.10.2005, 19:29

я так понял, не так плоха ада ,как кажется ( кстати , а какие есть логические языки , кроме lips?

Автор: Void 17.10.2005, 22:12

Цитата(libricon @ 17.10.2005, 21:29)

я так понял, не так плоха ада ,как кажется

Вот только я не слышал, чтобы кто-либо, кроме МО США ее использовал.

Цитата(libricon @ 17.10.2005, 21:29)

а какие есть логические языки , кроме lips?

Имелся в виду Lisp? Во-первых, Lisp не логический язык - это язык общего назначения с функциональным уклоном. Наиболее известный логический язык - Prolog. Функциональные: ML, OCaml, Haskell, Scheme...

Автор: libricon 18.10.2005, 22:34

я из любопытства интересуюсь, можете в кратсе описать их, что они из себя представляют?

Автор: DEER 19.10.2005, 14:17

Читал статейку про Linux, там сказано что то типа такого
"В платформу была включена поддержка ADA(если вы такой мазохист, что пишите на ADA, мы дадим вам такую возможность)"
smile

а вообще кто нить пробовал писать на ADA? Такое извращение, я вам скажу! Чтоб заставить компилятор работать, надо посидеть сначала с полчасика, повтыкать, выполняя одни и теже действия:
1 - копируешь папку с Адой на диск
2 - Заходишь
3 - Создаешь новую библиотеку
4 - Пытаешься скомпилировать прожку
5 - Ада ругаеться
идем к пункту 1
и так до тех пор, пока она не соизволит заработать
!
В чём глюк никто не знает, этот алгоритм дал препод с кафедры(он как раз и преподает паралельное программирование)

Сейчас мне выпало несчастье писать курсач на Аде, блииин, вы не представляете какой это гемор, и дело не в курсаче, алгоритм уже есть, например на C, JAVA, PASCAL это всё пишется минут 30, а тут... никакой тебе трассировки, ни методов отладки. Короче если и надо написать приложение с распаралелеными процессами, то лучше пишите на современных азыках, Сейчас в них есть все возможности паралельного программирования, реализованые в Аде + намного удобнейший интерфейс и все такое

Я так думаю!

Автор: setq 19.10.2005, 15:00

DEER, может не повезло с компилятором? для ADA есть несколько штук и некоторые с IDE.

Автор: Void 19.10.2005, 16:41

Цитата(libricon @ 19.10.2005, 00:34)

я из любопытства интересуюсь, можете в кратсе описать их, что они из себя представляют?

Вкратце, боюсь, не получится... Базовую информацию по функциональным языкам можно посмотреть в http://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F (на http://en.wikipedia.org/wiki/Functional_programming поподробнее будет).
Там же можно почитать про ML (http://www.smlnj.org/index.html), http://caml.inria.fr/, http://www.haskell.org/. http://en.wikipedia.org/wiki/Scheme_programming_language - это упрощенный и "облагороженный" вариант LISP.
Кое-какие ссылки по OCaml я давал http://forum.vingrad.ru/index.php?showtopic=58253&view=findpost&p=540006 и http://forum.vingrad.ru/index.php?showtopic=67161.
Можете также посмотреть информацию на http://www.softcraft.ru/paradigm/dp/index.shtml.

P. S. Пора бы, имхо, раздел LISP реорганизовать в "Функциональные и логические языки". Перегружен он все равно не будет smile

но по крайней мере не пришлось бы валить все многообразие в одну кучу "разного"...

Автор: Denis-delphist 26.11.2005, 12:47

Ну вообще язык АДА был создан для программирования робатов! А потом его изменили для ПК smile

Автор: Парис 27.4.2006, 22:20

Цитата(Void @ 17.10.2005, 22:12

)

Вот только я не слышал, чтобы кто-либо, кроме МО США ее использовал.

ещё MO РФ её использует...

Автор: regis 28.4.2006, 13:42

Цитата

Читал статейку про Linux, там сказано что то типа такого
"В платформу была включена поддержка ADA(если вы такой мазохист, что пишите на ADA, мы дадим вам такую возможность)"

Это на из "статейки", а из книги Мэтта Уэлша, по-моему. Но, справедливости ради, хочу заметить, что и среди линуксистов есть альтернативные мнения по поводу ADA, например:

GNAT-1.82 - вот для этого то пакета и нужны новые компиляторы Си. Это полноценный транслятор с языка Ада, о котором у нас столько писали, но которого никто никогда не видел. Между тем, этот язык ориентирован, во-первых, на многозадачные многопроцессные приложения, а во-вторых, предполагает, что программы бывают большими и сложными или очень большимии очень сложными. И что пишут программные комплексы не одиночки, а коллективы. Так что дерзайте!

(В. Водолазский, Путь к Linux)

Цитата

Странно. Либо ADA-компилятор очень кривой (что вряд-ли), либо дистрибутив оного. Не могу себе представить, зачем могут понадобиться подобные извраты.

Автор: ksicom 1.5.2006, 21:24

RHEL4 + GNAT из репозитория RHEL4 (Red Hat Enterprise Linux)
всё прекрасно работает. Ничего никуда копировать не надо и не глючит ничего.

Сам на ADA программировать стал недавно. За время использования только положительные эмоции.
Писать на ADA одно удовольствие.
Всё чётко и ясно. Никаких поблажек и альтернатив в синтаксисе. Никаких "особенностей реализации". Переносимость между системами великолепная, т. к. стандарт один и если компилятор ему не соответствует или поддерживает не совсем весь, значит это не компилятор. Все конструкции языка продуманы и логичны. Нет необходимости изобретать велосипеды на каждом шагу. Написанные модули можно использовать повторно не только на словах.

Ну а встроенная поддержка на уровне языка многозадачности и рекомендации стандарта для создания систем реального времени - это просто поросячий визг. smile

Сначала конечно напрягала строгая типизация, но времени и нервов она экономит при отладке программы очень много.

А относительно "современности", для справки стандарты: Ada'83, Ada'95, Ada'2005

ADA - язык для программирования систем с повышенными требованиями к надёжности и систем реального времени.

Автор: Void 1.5.2006, 22:28

Цитата(ksicom @ 1.5.2006, 23:24

)

Ну а встроенная поддержка на уровне языка многозадачности и рекомендации стандарта для создания систем реального времени - это просто поросячий визг.

Какие же звуки тогда следует издавать от Erlang'а? smile

Автор: popovda 12.6.2006, 20:38

ADA - это стандарт Министерства обороны США и НАТО, рекомендован МАГАТЭ как язык программирования для АСУ АЭС.
Этим все сказано.

Автор: Cr@$h 12.6.2006, 20:49

Цитата(popovda @ 12.6.2006, 21:38

)

АСУ АЭС

Я не знал, что АЭС. Про МО ясно, но это для меня новость. Грядёт, если ещё не вышел, стандарт Ada 2005. Единственный изъян в Ada -- отсутствие хороших сред разработки, я считаю.

Добавлено @ 20:59
Было бы здорово открыть форум по Ada, а то я таких не знаю даже, а ведь есть русскоязычный народ, который использует и продвигает её: http://www.ada-ru.org/ .

Автор: NetWalker10015 14.6.2006, 11:43

Кстати по поводу среды разработки, я знаю например две AdaGIDE и MyAda http://myada.pri-dev.net/
мне больше нравится MyAda лучшей среды я пока не видел (правда эти обе среды только для винды) smile

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

Большим минусом я считаю что нету центрального хелпа по его стандартным пакетам как например в VC++ MSDN
В основном самому приходится по пакетам копаться, кому если надо полезная ссылка по этому поводу http://www.infeig.unige.ch/support/ada/gnatlb/index.html

Автор: popovda 14.6.2006, 19:53

Цитата

Единственный изъян в Ada -- отсутствие хороших сред разработки, я считаю.

Ну почему же. Я на работе буклет конторы видел, которая для Абрамсов ПО клепает и компиляторы для Пентагона разрабатывает, так там ИСР для Ада как под Win, так и под *NIX-системы не хуже VisualC. Просто Ада - язык у нас не
распространенный, а зря. Я прекрасно знаю как хреново алгоритмы наведения на C писать. Ошибку найти 2-3 дня не можешь,
а она в приведении типов, например, зарыта. Ада таких фокусов не позволит вообще. Очень строгий язык. И вообще,
каждый язык, который поддерживается капиталом, востребован. Я как-нибудь одну историю про Алгол и Фортран расскажу.

Автор: Cr@$h 14.6.2006, 20:39

Цитата(popovda @ 14.6.2006, 20:53

)

Думаю, военные заинтересованы, чтобы язык не был распрочтранён, тогда и хакеров-профессионалов будет меньше для программных систем на Ada. smile

Хотя, по Ada больше всего международных стандартов за последнее время вышло среди всех языков. smile

Цитата(popovda @ 14.6.2006, 20:53

)

Просто Ада - язык у нас не распространенный, а зря.

Я сам не слышал, что в приоборонных ОКБ её использовали у нас, а ведь услышать мог. smile

Цитата(popovda @ 14.6.2006, 20:53

)

Я прекрасно знаю как хреново алгоритмы наведения на C писать. Ошибку найти 2-3 дня не можешь, а она в приведении типов, например, зарыта. Ада таких фокусов не позволит вообще. Очень строгий язык.

Нахождение ошибок на более раннем этапе -- компиляции. В этом её главное преимущество, все-все правила проверяет, которые строго языком (стандартом) установлены.

Цитата(popovda @ 14.6.2006, 20:53

)

Я как-нибудь одну историю про Алгол и Фортран расскажу.

Будем ждать и лучше отдельной темой. smile

Автор: NetWalker10015 15.6.2006, 12:59

А еще одна большая проблема, это то что нет встроенного дебаггера в средах (которые я знаю), есть правда один GNUшный дебаггер, но он мне ужасно не нравится.

Автор: NetWalker10015 15.6.2006, 13:59

Кстати,

Цитата

Я на работе буклет конторы видел, которая для Абрамсов ПО клепает и компиляторы для Пентагона разрабатывает, так там ИСР для Ада как под Win, так и под *NIX-системы не хуже VisualC.

это случайно не Eclipse было, к нему плугин на аду AonixADT стоит $995 %)

http://www.elecdesign.com/Articles/ArticleID/8737/8737.html

Автор: Cr@$h 16.7.2006, 00:50

Цитата(NetWalker10015 @ 15.6.2006, 13:59

)

Цитата(NetWalker10015 @ 15.6.2006, 14:59

)

это случайно не Eclipse было, к нему плугин на аду AonixADT стоит $995 %)

Всем интересующимся Адой предлагаю также посетить сайт http://www.adacore.com/home/. Там очень много информации и про среды разработки.