Конкурс Make with Ada

работа, зарплата, образование...
svg
Сообщения: 2

Сообщение svg » 07 июл 2016, 12:02

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

http://www.makewithada.org/

Аватара пользователя
iEugene0x7CA
Адепт
Сообщения: 1570
Откуда: Киев

Сообщение iEugene0x7CA » 07 июл 2016, 12:14

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


Keroronsk
Сообщения: 21

Сообщение Keroronsk » 07 июл 2016, 13:05

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
Адепт
Сообщения: 3576
Откуда: Киев

Сообщение BSVi » 07 июл 2016, 13:18

That would never have happened with C

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

8f1571.png

svg
Сообщения: 2

Сообщение svg » 07 июл 2016, 13:25

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

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

Вернуться в «Жизненные вопросы»



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и 12 гостей