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