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

А тут в результате все видимо приходит к вопросу: что проще, взять обычных тематичных прогеров и подрессировать их малость на чем-то типа MISRA чтобы отучить от дурных привычек, или искать пару инопланетян на вот этом, при том что все-равно потом вот так. Видимо инопланетяне расслабились. А на сях хрен расслабишься и пощелкаешь клювом, в тонусе все же держит.

> говорящими названиями, а не просто инт32) и только её использовать.

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

Собственно 80% WIN'а маска в том что он все это уже умеет делать дешевле конкурентов. И пока они там пиндят про safety factor, батутчик ... в темном лесу, темной ночью, смотришь в небо - а там - WTF. Звезды летают. Пачками. Если подумать становится понятно что это может быть только 1 вещью. Напоминающей что XXI век все же наступил.

> от некоторой части возможных факапов. Но, вероятно, наговнокодить можно даже на Аде. :-)

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