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

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

Хорошая статейка в этом pdf'е на ISO лежит. Последний стандарт -- 1995 г.

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

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

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

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

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

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

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

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

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

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

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


Я так думаю!

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

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

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

Вкратце, боюсь, не получится... Базовую информацию по функциональным языкам можно посмотреть в Википедии (на англ. поподробнее будет).
Там же можно почитать про ML (оф. сайт SML/NJ), OCaml, Haskell. Scheme - это упрощенный и "облагороженный" вариант LISP.
Кое-какие ссылки по OCaml я давал здесь и здесь.
Можете также посмотреть информацию на Softcraft.

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

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

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

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

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

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



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

 

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


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

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

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

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

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

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

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

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

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