The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Космическое агентство NASA открыло код платформы для создани..., opennews (??), 29-Мрт-15, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


8. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 29-Мрт-15, 14:22 
А на чем предлагаете писать? А на чем раньше писали? Полагаю, библиотеки далеко не годичной давности.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

21. "Космическое агентство NASA открыло код платформы для создани..."  +1 +/
Сообщение от Аноним (-), 29-Мрт-15, 17:14 
> А на чем раньше писали?

На фортране.

Ответить | Правка | Наверх | Cообщить модератору

24. "Космическое агентство NASA открыло код платформы для создани..."  –7 +/
Сообщение от iZEN (ok), 29-Мрт-15, 19:19 
> А на чем предлагаете писать? А на чем раньше писали? Полагаю, библиотеки
> далеко не годичной давности.

Ада.

"По утверждению Стефена Цейгера из Rational Software Corporation, разработка программного обеспечения на Аде в целом обходится на 60 % дешевле, а разработанная программа имеет в 9 раз меньше дефектов, чем при использовании языка Си." - Wiki.


Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

37. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 29-Мрт-15, 22:39 
Отладка для них очень важна, критический параметр при выборе языка. Тем более, отладку производят на больших дистанциях. Как отлаживается ПО построенное на Аде?
Ответить | Правка | Наверх | Cообщить модератору

66. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 10:35 
> Отладка для них очень важна, критический параметр при выборе языка. Тем более,
> отладку производят на больших дистанциях. Как отлаживается ПО построенное на Аде?

Ну как, запустили ариана. Опа - integer overflow! Опа - ракета упала. В следующей версии наверное очень резко починили: дебажная сессия то ценой в 370 миллионов зеленых президентов получилась.

Ответить | Правка | Наверх | Cообщить модератору

38. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 29-Мрт-15, 22:42 
>> А на чем предлагаете писать? А на чем раньше писали? Полагаю, библиотеки
>> далеко не годичной давности.
> Ада.
> "По утверждению Стефена Цейгера из Rational Software Corporation, разработка программного
> обеспечения на Аде в целом обходится на 60 % дешевле, а
> разработанная программа имеет в 9 раз меньше дефектов, чем при использовании
> языка Си." - Wiki.

И вот к чему привело использование софта написанного на ADA в комической индустрии:

https://www.youtube.com/watch?v=gp_D8r-2hwk#t=45s

http://en.wikipedia.org/wiki/Cluster_%28spacecraft%29

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

40. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от maximnik0 (?), 30-Мрт-15, 00:19 
> И вот к чему привело использование софта написанного на ADA в комической
> индустрии:

skip
> http://en.wikipedia.org/wiki/Cluster_%28spacecraft%29

И что ? Кластер и на Буране применялся ,причем у всех 3 компьютеров были разные архитектуры и 2 языка программирования для надежности .Ада также разрабатывался для военных ,в нем было требование чтобы детские опечатки не изменяли логику работы (типа отсуствие скобок ,запятые и т.д ) - учитывали опыт опечатки ,аппарат из-за пропущенной запятой пошел не на Венеру . Второй язык по надежности который применяется в  НASA  - Tk/Tсl ,в этом языке тоже сложно сделать логические ошибки .  


Ответить | Правка | Наверх | Cообщить модератору

43. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 01:02 
>> И вот к чему привело использование софта
>> написанного на ADA в космической индустрии:

https://www.youtube.com/watch?v=gp_D8r-2hwk#t=45s

>> http://en.wikipedia.org/wiki/Cluster_(spacecraft)
> И что?

Ракета взорвалась. Из-за ошибки в программе на "языке программирования ада".

> Кластер и на Буране применялся, причем у всех 3
> компьютеров были разные архитектуры и 2 языка программирования для надежности.

С Бураном все нормально было. И насколько я понимаю, там не использовался
"язык программирования ада", а использовались языки ПРОЛ2, ДИПОЛЬ и ЛАКС.
И на их основе был создан потом язык https://ru.wikipedia.org/wiki/ДРАКОН

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

"Язык критиковали Чарльз Хоар и Никлаус Вирт, а также Эдсгер Дейкстра".

То, что Ada уменьшит проблемы программирования и увеличит надёжность наших разработок до приемлемых границ, — это лишь одна из тех сказок, в которые могут поверить только люди с военным образованием.
  — Научная фантастика и научная реальность в информатике (Edsger W. Dijkstra, EWD952)

Хоар выразил своё сожаление тем, что «погремушки и побрякушки возобладали над фундаментальными требованиями надёжности и безопасности» и предостерёг от «армады ракет, летящих не туда из-за не обнаруженной вовремя ошибки в компиляторе Ады». Никлаус Вирт высказался более сдержанно, но тоже негативно. Он сказал: «Слишком много всего вываливается на программиста. Я не думаю, что, изучив треть Ады, можно нормально работать. Если вы не освоите всех деталей языка, то в дальнейшем можете споткнуться на них, и это приведёт к неприятным последствиям».

- собственно, потом и произошло именно то, о чем предупреждали Хоар, Вирт и Дейкстра.

Ответить | Правка | Наверх | Cообщить модератору

44. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 01:44 
> Ракета взорвалась. Из-за ошибки в программе на "языке программирования ада".

А вот в "The Method Framework for Engineering System Architectures" на стр. 7. аффтары пишут: "Nevertheless, its important to note that the Ariane 5 failure was not merely due to the software codings defects. The primary causes of failure were in the engineering of the architecture". Даже боюсь теперь верить Дональду Файерсмиту со товарищи. На опеннете его уже разоблачили настоящие эксперты.

Ответить | Правка | Наверх | Cообщить модератору

46. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 02:05 
>> Ракета взорвалась. Из-за ошибки в программе на "языке программирования ада".
> А вот в "The Method Framework for Engineering System Architectures" на стр.
> 7. аффтары пишут: "Nevertheless, its important to note that the Ariane
> 5 failure was not merely due to the software codings defects.
> The primary causes of failure were in the engineering of the
> architecture".

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

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

Ответить | Правка | Наверх | Cообщить модератору

49. "Космическое агентство NASA открыло код платформы для создани..."  +1 +/
Сообщение от Аноним (-), 30-Мрт-15, 02:14 
> это не важно. важно какие выводы сделала официальная следственная комиссия.

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

Естественно эксперты опеннета после этого сразу пришли к выводу что проблема именно в языке ада. на нем, вероятно, черти разговаривают.

Ответить | Правка | Наверх | Cообщить модератору

51. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от maximnik0 (?), 30-Мрт-15, 02:29 
>> это не важно. важно какие выводы сделала официальная следственная комиссия.
> а они пришли к выводу что ракета взорвалась по причине ошибки в
> программе.

Это же про Ариан-5 история да ? Всплыло гораздо позже (официально не признавалось ,проговорился один из подрядчиков ракеты )- что конструкторы не учли как называемый "Донный эффект " ,с чем столкнулись наши конструкторы еще на H-1 .Не учли что возникает гидроудар который может порвать стенки емкости .

Ответить | Правка | Наверх | Cообщить модератору

54. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 02:49 
>>> это не важно. важно какие выводы сделала официальная следственная комиссия.
>>> а они пришли к выводу что ракета взорвалась по причине ошибки в программе.
> Это же про Ариан-5 история да ?

Да.

> Всплыло гораздо позже (официально не признавалось ,проговорился один из подрядчиков
> ракеты )- что конструкторы не учли как называемый "Донный эффект " ,с чем столкнулись
> наши конструкторы еще на H-1. Не учли что возникает гидроудар который может порвать
> стенки емкости .

Нет.

Если очень внимательно посмотреть на видео:

https://www.youtube.com/watch?v=gp_D8r-2hwk#t=45s

то можно заметить, что ракета сначала отклонилась от курса, а потом взорвалась.

что полностью согласуется с результатами расследования:

https://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
ARIANE 5 Flight 501 Failure

Ответить | Правка | Наверх | Cообщить модератору

56. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 03:07 
> Если очень внимательно посмотреть на видео:
> https://www.youtube.com/watch?v=gp_D8r-2hwk#t=45s
> то можно заметить, что ракета сначала отклонилась от курса, а потом взорвалась.
> что полностью согласуется с результатами расследования:
> https://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
> ARIANE 5 Flight 501 Failure

Видео - самоуничтожение потерявшей управление ракеты. О причинах потери оно ничего не говорит

Ответить | Правка | Наверх | Cообщить модератору

58. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 03:15 
>> Если очень внимательно посмотреть на видео:
>> https://www.youtube.com/watch?v=gp_D8r-2hwk#t=45s
>> то можно заметить, что ракета сначала отклонилась от курса, а потом взорвалась.
>> что полностью согласуется с результатами расследования:
>> https://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
>> ARIANE 5 Flight 501 Failure
> Видео - самоуничтожение потерявшей управление ракеты.
> О причинах потери оно ничего не говорит

Видео опровергает версию о том, что причиной взрыва ракеты
был "донный эффект" и "гидроудар":

> Всплыло гораздо позже (официально не признавалось ,проговорился один из подрядчиков
> ракеты )- что конструкторы не учли как называемый "Донный эффект " ,с чем столкнулись
> наши конструкторы еще на H-1. Не учли что возникает гидроудар который может порвать
> стенки емкости .

Ответить | Правка | Наверх | Cообщить модератору

76. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 12:07 
> Видео опровергает версию о том, что причиной взрыва ракеты
> был "донный эффект" и "гидроудар":

Видео ничего не опровергает и не доказывает кроме того, что ракета потеряла управление и была ликвидирована по команде с земли или собственной БЦВМ. Углядеть возникновение трещин в районе сопла по нему решительно невозможно


Ответить | Правка | К родителю #58 | Наверх | Cообщить модератору

83. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 14:21 
>> Видео опровергает версию о том, что причиной взрыва ракеты
>> был "донный эффект" и "гидроудар":
> Видео ничего не опровергает и не доказывает кроме того, что ракета потеряла
> управление и была ликвидирована по команде с земли или собственной БЦВМ.
> Углядеть возникновение трещин в районе сопла по нему решительно невозможно

Видео опровергает версию о том, что ракета взорвалась по причине "гидроудара".

Ответить | Правка | К родителю #76 | Наверх | Cообщить модератору

89. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 15:36 
> Видео опровергает версию о том, что ракета взорвалась по причине "гидроудара".

Мама, роди меня заново. Если Вы не можете прочитать что я написал, прочтите отчет. Пробую объяснить 3-й раз, последний, хотя очень сомневаюсь что дойдет. Конечно, ракета взорвалась не от гидроудара. Она САМОЛИКВИДИРОВАЛАСЬ. Еще раз: САМОЛИКВИДИРОВАЛАСЬ. Причиной команды на самоликвидацию была потеря управления. Отчего произошла потеря управления это видео никак не проясняет. Она могла произойти как от установки сопел твердотопливных ускорителей в крайнее положение по команде СУ, как говорит отчет, так и от гидроудара в районе сопел из-за формируемых донным эффектом завихрений воздуха в том месте. И в том и вдругом случае ракета будет выглядеть целехонькой до самого последнего момента и взорвется какбы сама по себе без видимых внешних причин.

Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

92. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 15:58 
> Отчего произошла потеря управления это видео никак не проясняет.

Видео опровергает версию о том, что ракета взорвалась по причине "гидроудара".
Потому что сначала ракета потеряла ориентацию в полете, а только потом взорвалась.

> Она могла произойти как от установки сопел твердотопливных ускорителей
> в крайнее положение по команде СУ, как говорит отчет, так и от гидроудара
> в районе сопел из-за формируемых донным эффектом завихрений воздуха в том месте.
> И в том и вдругом случае ракета будет выглядеть целехонькой до самого последнего
> момента

https://ru.wikipedia.org/wiki/Гидравлический_удар

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

-----------------------------------------

для сравнения: https://www.youtube.com/watch?v=dH64pEOzBkc#t=1m18s
ракета летит не меняя свою траекторию и вдруг внезапно взрывается.

Причина:

Разрушение летательного аппарата было вызвано повреждением уплотнительного кольца правого твердотопливного ускорителя при старте. Повреждение кольца стало причиной разрыва швов ускорителя, вслед за чем горячие газы высокого давления прорвались из твердотопливного двигателя наружу, проникли в примыкающие конструкции ускорителя и достигли внешнего топливного бака. Это привело к разрушению хвостового крепления правого твердотопливного ускорителя, повреждению и взрыву внешнего топливного бака. Разрушение основного топливного бака высвободило весь находившийся в нем жидкий водород и кислород. Элементы топлива, соединившись в воздухе, образовали огненную вспышку в сотни метров.

В этот момент повреждённый корабль еще продолжал набор высоты, однако вскоре его полет стал неустойчивым. В результате сочетания повреждений и несимметричного действия аэродинамических нагрузок оторвалась хвостовая часть корабля и двигательный отсек. Произошло отделение крыльев, а затем кабины с экипажем от грузового отсека. Обломки челнока упали в Атлантический океан.

Позже, в результате длительной поисково-спасательной операции, со дна океана были подняты многие фрагменты корабля, в том числе и отсек экипажа. Хотя точное время гибели экипажа неизвестно, выяснилось, что некоторым его членам удалось выжить при основном взрыве. Однако шаттл не был оборудован системой аварийного покидания, и астронавты не пережили столкновения отсека с поверхностью океана.

Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

64. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 10:29 
> Видео - самоуничтожение потерявшей управление ракеты. О причинах потери оно ничего не говорит

Зато говорят выводы комиссии. Которые озвучили. Виновата программа. Написанная на языке Ада.


Ответить | Правка | Наверх | Cообщить модератору

77. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 12:16 
>> Видео - самоуничтожение потерявшей управление ракеты. О причинах потери оно ничего не говорит
> Зато говорят выводы комиссии. Которые озвучили. Виновата программа. Написанная на языке
> Ада.

Вот это называется "угадал все буквы, но не смог прочитать слово". В выводах коммиссии написано что проблема не в языке ада, а в отсутствии этапов анализа и тестирования инерциальной системы навигации в процессе разработки Arian 5. Да, да. Именно так!

"The extensive reviews and tests carried out during the Ariane 5 Development Programme did not include adequate analysis and testing of the inertial reference system or of the complete flight control system, which could have detected the potential failure."

Ответить | Правка | К родителю #64 | Наверх | Cообщить модератору

86. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 14:39 
>> выводы комиссии. Которые озвучили. Виновата программа. Написанная на языке Ада.
> Вот это называется "угадал все буквы, но не смог прочитать слово".
> В выводах коммиссии написано что проблема не в языке ада,

Проблема не в языке программирования ада. Проблема в программе, написанной на этом языке:
"due to specification and design errors in the software of the inertial reference system"

Хотя, военным обещали, что "Ada уменьшит проблемы программирования и увеличит
надёжность разработок до приемлемых границ" - но это оказалось пустым обещанием.

> а в отсутствии этапов анализа и тестирования инерциальной системы навигации
> в процессе разработки Arian 5. Да, да. Именно так!

Нет.

> "The extensive reviews and tests carried out during the Ariane 5 Development
> Programme did not include adequate analysis and testing of the inertial
> reference system or of the complete flight control system, which could
> have detected the potential failure."

в этом ^^^ фрагменте написано, если если бы были сделаны тесты, то они могли бы
обнаружить эту potential failure. Но про причины катастрофы написано однозначно:

CAUSE OF THE FAILURE

The failure of the Ariane 501 was caused by the complete loss of guidance and attitude information 37 seconds after start of the main engine ignition sequence (30 seconds after lift- off). This loss of information was due to specification and design errors in the software of the inertial reference system.

software - это программа на языке программирования ада.

Ответить | Правка | К родителю #77 | Наверх | Cообщить модератору

96. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 16:27 
> Проблема не в языке программирования ада. Проблема в программе, написанной на этом
> языке:

У Вас, батенька, подмена тезиса. Из более ранних утверждений следовало что виноват все-таки язык программирования Ада. Цитирую:

> И вот к чему привело использование софта написанного на ADA в комической индустрии:

Конечно, что никто не подумал что датчики на новой ракете будут выдавать данные в более широком диапазоне, нежели на старой - виновата ADA
Что ленивый программер не поставил локальный эксепшн-хендлер и переполнение стало обрабатываться глобальным и тем самым разрываться рабочая петля тоже виновата ADA. Это даже не обсуждается. На правильных языках такая ересь как исключения должна отсутствовать как класс.
Ну и что никто не удосужился испытать старый софт от Arian 4 в новой ракете, тоже виновата ADA.

А вообще, во всем виноват Чубайс и/или клятi москалi. Так-что даже тут Вы никак не можете быть правы т.к. противоречите аксиоматике реального мира.

За сим откланяюсь т.к. началась реальная демагогия.

Ответить | Правка | К родителю #86 | Наверх | Cообщить модератору

97. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 17:32 
> Из более ранних утверждений следовало что виноват
> все-таки язык программирования Ада. Цитирую:
>> И вот к чему привело использование софта написанного на ADA в коcмической индустрии

Каким образом из "использование *софта* написанного на ADA" следует,
что в катастрофе ракеты "виноват все-таки язык программирования Ада"?

Разумеется, виноваты программисты, которые не написали,
не проверили, не протестировали, не предусмотрели и т.п.

Хотя, для такого супернадежного и суперзащищенного языка могли бы сделать например,
все исключения и checked, чтобы заставлять программистов отлавливать и обрабатывать
все исключения - тогда язык не давал бы возможности делать такие примитивные ошибки,
которые приводят к столь катастрофическим последствиям для всей программы и ракеты.

И раз уж Ада - это такой суперклассный язык, который позволяет писать надежные
и защищенные программы - почему же на нем практически никто и ничего не пишет?

Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

53. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 02:31 
>> это не важно. важно какие выводы сделала официальная следственная комиссия.
>> а они пришли к выводу что ракета взорвалась по причине ошибки в программе.
> Естественно эксперты опеннета после этого сразу пришли к выводу
> что проблема именно в языке ада.

проблема была в программе, написанной на языке программирования ада.

какие именно были/есть проблемы в языке, которые и привели
к ошибкам в программе - об этом сказали Хоар, Вирт и Дейкстра:

https://ru.wikipedia.org/wiki/Ада_(язык_программирования)#.D0.9A.D1.80.D0.B8.D1.82.D0.B8.D0.BA.D0.B0

Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

55. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 02:58 
> проблема была в программе, написанной на языке программирования ада.
> какие именно были/есть проблемы в языке, которые и привели
> к ошибкам в программе - об этом сказали Хоар, Вирт и Дейкстра:

Мимо. Хоара и Вирта сразу вычеркиваем как людей заинтересованных. Критика Дейкстры, конечно, правомерна, но отношение к конкретной ошибке (переполнению) не имеет.


Ответить | Правка | Наверх | Cообщить модератору

57. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 03:13 
>> проблема была в программе, написанной на языке программирования ада.
>> какие именно были/есть проблемы в языке, которые и привели
>> к ошибкам в программе - об этом сказали Хоар, Вирт и Дейкстра:
> Мимо. Хоара и Вирта сразу вычеркиваем как людей заинтересованных.

обвинять Хоара и Вирта в необъективности и предвзятости - это как-то уже слишком.

> Критика Дейкстры, конечно,
> правомерна, но отношение к конкретной ошибке (переполнению) не имеет.

Критика Дейкстры прямым текстом говорит, что у них получилось в результате сделать:

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

Как он и предсказывал, повысить "надёжность разработок до приемлемых границ"
не получилось - ракеты всеравно взрывались и падали.

Ответить | Правка | Наверх | Cообщить модератору

72. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Andrew Kolchoogin (ok), 30-Мрт-15, 10:47 
> обвинять Хоара и Вирта в необъективности и предвзятости - это как-то уже слишком.

За сэра Энтони Хоара сказать ничего не имею.

За профессора Вирта — имею. Профессор Вирт сам участвовал в подготовке языка для подобных критичных разработок — и даже подготовил. Это язык Модула.

Сам Вирт писал, что (цитирую по памяти) «компиляторы Ады занимают миллионы строк текста, в то время как компилятор Модулы занимает всего двести тыс., и я не понимаю, как можно создать компилятор Ады, свободный от ошибок».

Так что профессор Вирт — лицо таки заинтересованное. Впрочем, наработки Вирта в лету не канули — упрощением Модулы получился Паскаль, усложнением — Лилит. Опять-таки, сам Вирт про это писал.

Ответить | Правка | Наверх | Cообщить модератору

74. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 11:50 
> За сэра Энтони Хоара сказать ничего не имею.

А чего за него говорить, если он вместе с Виртом в одной команде принимал участие в тендере на разработку этой самой Ады и проиграл еще на этапе предварительного отбора. Странно, что там еще их 3-й собутыльник - Дейкстра не засветился. Это дает возможность хоть и с натяжкой, но считать его (Дейкстру) непредвзятым.

Ответить | Правка | К родителю #72 | Наверх | Cообщить модератору

82. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 14:06 
> Так что профессор Вирт — лицо таки заинтересованное.

Да, он создал язык и участвовал в конкурсе.
Но каким образом из этого следует что его оценки необъективны?

А судьи кто? конкурс ведь проводили люди с военным образованием.
так что я больше склонен доверять оценкам Вирта, чем тем, кто оценивал
результаты его работы. Им рассказали красивую сказку - они взяли и поверили.

> Впрочем, наработки Вирта в лету не канули — упрощением Модулы получился Паскаль,

Наоборот, сначала Вирт создал Паскаль, потом Модула, потом Модула-2.
После него еще были созданы другими людьми языки Модула-2+ и Модула-3.
На этом фоне ругать питон за несовместимость версий - как-то даже и не удобно уже.

> усложнением — Лилит. Опять-таки, сам Вирт про это писал.

Вообще-то Lilith Workstation - это не язык программирования, а имя компьютера.
весь софт для Lilith Workstation был написан на модула-2.

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

Ответить | Правка | К родителю #72 | Наверх | Cообщить модератору

98. "Космическое агентство NASA открыло код платформы для создани..."  +1 +/
Сообщение от Andrew Kolchoogin (ok), 30-Мрт-15, 17:34 
> Наоборот, сначала Вирт создал Паскаль, потом Модула, потом Модула-2.

Очень может быть.

> Создать язык программирования более примитивный чем паскаль - это разве вообще возможно?

Паскаль ровно настолько же примитивен, насколько и C -- оба языка полны по Тьюрингу, это доказано. :)

Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

99. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 17:45 
>> Создать язык программирования более примитивный чем паскаль - это разве вообще возможно?
> Паскаль ровно настолько же примитивен, насколько и C
> -- оба языка полны по Тьюрингу, это доказано. :)

Это да. Но по Тьюрингу и Brainfuck является полным.

P.S.

Кстати, у паскаля много глюков и недостатков,
даже по сравнению с языком программирования С:

http://www.lysator.liu.se/c/bwk-on-pascal.html
Why Pascal is Not My Favorite Programming Language
Brian W. Kernighan, April 2, 1981

Ответить | Правка | К родителю #98 | Наверх | Cообщить модератору

109. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 31-Мрт-15, 20:53 
>Создать язык программирования более примитивный чем паскаль - это разве вообще возможно?

Ну, С++ ведь создали...

Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

110. "C++"  –1 +/
Сообщение от csdoc (ok), 31-Мрт-15, 21:58 
> Ну, С++ ведь создали...

Программиста спрашивают:
— Как вам удалось так быстро выучить английский язык?
— Да, ерунда какая. Они там почти все слова из C++ взяли.

P.S.

http://harmful.cat-v.org/software/c++/linus
Linus Torvalds on C++

Ответить | Правка | К родителю #109 | Наверх | Cообщить модератору

41. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 00:27 
> И вот к чему привело использование софта написанного на ADA в комической индустрии

Сударь, вы откровенно лжете, правильнее даже сказать пиз..те. Какое отношение пропихивыемый в USA эндемичный язык имеет к европейским ракетам?

Ответить | Правка | К родителю #38 | Наверх | Cообщить модератору

45. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от csdoc (ok), 30-Мрт-15, 01:53 
>> И вот к чему привело использование софта написанного на ADA в космической индустрии
> Сударь, вы откровенно лжете, правильнее даже сказать пиз..те.

Нет.

Эта ракета действительно взорвалась из-за ошибки в программе на языке ада:

https://en.wikipedia.org/wiki/Ariane_5#Notable_launches
The software, written in Ada, was included in the Ariane 5...

http://esamultimedia.esa.int/docs/esa-x-1819eng.pdf
Ariane 5 Flight 501 Failure, Report by the Inquiry Board

> Какое отношение пропихивыемый в USA эндемичный язык имеет к европейским ракетам?

1. гуглить: язык программирования ада
2. читать: кто является автором этого языка

Ответить | Правка | Наверх | Cообщить модератору

67. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от Аноним (-), 30-Мрт-15, 10:36 
> "По утверждению Стефена Цейгера из Rational Software Corporation,

А по утверждению анонимуса с опенета такие заявления - обычный маркетинговый булшит :)

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

80. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от ы (?), 30-Мрт-15, 13:41 
жаба, так вообще даже для текстовой константы выделяет память. только жабисты по этому поводу любят скромно помалкивать.
Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

90. "Космическое агентство NASA открыло код платформы для создани..."  +/
Сообщение от XVilka (ok), 30-Мрт-15, 15:44 
Не Ada а SPARK - http://www.spark-2014.org/
Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру