Конкурс Make with Ada

[svg]

Компания AdaCore объявила конкурс среди разработчиков встраиваемых систем на основе ARM. Подробнее см.

http://www.makewithada.org/

[iEugene0x7CA]

Хорошая попытка, AdaCore. Однако, на Си эмбедить мы не бросим, 1488.

[Keroronsk]

One of the most dramatic examples of checking being too draconian is the Ariane rocket destruction. Ada threw an exception when a value went out of bounds. That variable was not even required at the time. It could have been a random generated value and it would not have mattered. But Ada cared so much about one little variable that it blew up the rocket. That would never have happened with C (sure other problems might have).(c)

[BSVi]

That would never have happened with C

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

[svg]

Ariane 5... Сколько лет прошло...

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