>> Не, ты не прав. Пойнт Ады в том, что в ней нет (или минимум) таких мест,
>> где что-то может получаться непредсказуемо и как бы само по себе.
> А тут в результате все видимо приходит к вопросу: что проще, взять
> обычных тематичных прогеров и подрессировать их малость на чем-то типа MISRA
> чтобы отучить от дурных привычек, или искать пару инопланетян на вот
> этом, при том что все-равно потом вот так. Видимо инопланетяне расслабились.
> А на сях хрен расслабишься и пощелкаешь клювом, в тонусе все
> же держит.А потом падают самолёты. Ибо всякому инструменту своё место приложения.
Аду специально проектировали для применений, где на первом месте стоят безопасность, отказоустойчивость, надёжность и тому подобные вещи. Нету в достатке людей, её знающих — это уже другая проблема.
MISRA денег стоит и экономии снова не получается. :-) И она не поможет в ряде случаев просто в силу специфики языков Си и Си++. Я считаю, что если это возможно, то следует избегать их использовать в условиях, где отказ компьютерной системы чреват гибелью людей. Здесь нет простора для экспериментов по удержанию программеров в тонусе. Мы регулярно читаем на опеннете статьи о том, что какой-то умник не посчитал заранее, сколько ему надо места для данных, а жизнь ВНЕЗАПНО внесла свои коррективы. И поскольку эту особенность из Сей и Плюсов ты никуда и никогда не устранишь, то лучше воздерживаться от их использования в критически опасных для жизни случаях.
>> говорящими названиями, а не просто инт32) и только её использовать.
> Это хорошо в сферическом вакууме с бесконечными ресурсами, но если посмотреть на
> ту историю, там половина фэйла в том что решили реюзануть код
> от другой ракеты, который вполне себе работал. На той ракете. А
> на новой возьми да и долбанись о небесную твердь. Как угодно,
> но ресурсы - ограниченные. И не учитывать этот фактор глупо.
Сколько можно толочь воду в ступе… Это была ошибка человека, а не недостаток языка. Они заведомо знали, что делать так нельзя, но они это сделали наперекор судьбе и здравому смыслу. Стоит ли удивляться, что ракета упала? Хотели обскакать Б-женьку на хромой козе, но Б-женька таки сильнее. Не получилось сэкономить.
> Собственно 80% WIN'а маска в том что он все это уже умеет
> делать дешевле конкурентов. И пока они там пиндят про safety factor,
> батутчик ... в темном лесу, темной ночью, смотришь в небо -
> а там - WTF. Звезды летают. Пачками. Если подумать становится понятно
> что это может быть только 1 вещью. Напоминающей что XXI век
> все же наступил.
Если Маск угробит хотя бы один экипаж живых астронавтов, его путь в космос на этом, скорее всего, закончится. Экономия не всегда хороша.
>> от некоторой части возможных факапов. Но, вероятно, наговнокодить можно даже на Аде. :-)
> Ну вот как оказалось - можно. Это конечно неординарное достижение, но в
> конечном итоге розовые очки слетели и вера в серебряные пули все
> же ослабла.
Ты всё время уводишь разговор в сторону вещей, которые не относятся к сути вопроса. Та ракета упала по вине мясных уб**дков, сознательно сделавших заведомую глупость. ЯП здесь ни при чём вообще и никак. Если ты себе отфигачишь топором какую-нибудь конечность, что никакой вины топора в этом нет.