> Си не так уж сложно использовать безопасно. Там больше роялят методики разработки
> и общая паранойя разработчиков. Почему Вы не включаете в методики разработки язык программирования? Это его важная часть.
> Если этого нет - хренли толку с яп, разработчики все-равно накосячат.
Всё время повторяю одно и то же, разница есть в количестве ошибок, пропущенных автоматическими средствами. Если Вы не верите в эту разницу, попробуйте программировать всё в машинных кодах, а "хренли толку с яп, разработчики все-равно накосячат"(С). Или по вашему Си - это вершина программистской мысли и дальнейшее совершенствование средств разработки бесмысленно?
> Образцовый пример - самолет у которого на
> полпути кончилось горючее. Потому что перепутали метрические и имперские единицы. Так
Насколько я понимаю - в Ада есть возможность учесть единицы измерения, но никто не может заставить это использовать.
> Видишь, оказывается даже на хваленой тобой Ada можно повесить фатальный баг
Я об этом случае знал задолго до нашего разговора, так что же нового я должен был увидеть?
Столько раз говорил, что уже надоело. Дело не в том, что от языка магическим образом исчезнут все ошибки, а в том, сколько ошибок может быть отловлено и не допущено автоматическими средствами. Объясняю - она не хвалёная, а банально более адекватное средство для такой задачи.
> А тут вопрос в том что за отключение было. Если это аппаратное
> исключение - то тогда вообще все-равно какой там был ЯП. Для
Не всё равно. Стандарт Си, запрещает исключения при переполнении беззнаковых, и не регламентирует исключение для знаковых. Ada в этом плане лучше, но не сильно.
> До городов она бы врядли долетела. Посмотреть что бывает при серьезном отвале
> у ракеты управления можно на примере эпикфэйла в прямом эфире у
> роскосмоса. Там управление было без шансов - раздолбаи вбили датчик кверху
> ногами. Попытки ориентироваться на его показания приводили к обратному результату.
Неужели Вы обобщаете по 1-му случаю? Откуда Вы знаете последствия всех потенциальных проблем? Вот недавно запускали боевые ракеты через територии других стран. Что могло бы бать, если бы из-за ошибки навигации ракеты бы направились вниз, а последствия наступили бы за очень короткое время, не давая возможность предотвратить их?
> Там обычно несколько вариантов самоуничтожения, в том числе и по команде с
> Земли обычно есть.
Главное, чтобы ошибки не наложились друг на друга
> Так загвоздка в том что я вижу применение "более проблематичного" ЯП в
> дофига ответственных применений. И что-то я не вижу этих самых проблем
> в этих самых применениях от именно языка.
Если Вы собрали и обработали большое количество статистики, учитывая все важные параметры, тогда это "я вижу" имело бы большой вес. А так это может быть банальной неосведомлённостью.
Нам-то об этом особо не докладывают. А вот новостей о нахождении уязвимостей, вызванных особенностями Си, хоть отбавляй. Их тоже не видите?