В марте 2019?

67 год

я статью решил так мельком глянуть

Нет, я про первую партию боинга

Увидел дату, не прочитал о чем она?) В статье описывается серия недавних катастроф

Я про это

Это про то как фрилансеров нанимали на сборку по для самолетов?

Я привел ее в пример чтобы показать что даже в такой сфере не применяется полная верификация корректности

Я привел ее в пример чтобы показать что даже в такой сфере не применяется полная верификация корректности

компании интересует только прибыль, если продукт удовлетворяет минимальным требованиям безопасности - они его пользуют

Ну так это халатность. Это не отменяет того, что если кто то ошибется то самолет не рухнет Или ракета не полетит не туда

это уже зависит от уровней абстракций

Ладно

Ну вот представь если русские разрабы которые собирали по для крылатых ракет были гуманитариями. Летели по террористам а прилетели в душамбе

Напоролся и впульнул по координатам вместо флоат - инт

Ракеты летели мимо из-за переполнения 16-битного инта

Халатность не отменяет строгости

Это спорное утверждение, халатность тем более вероятна, чем меньше строгости

Я думаю именно с таким рассуждением на разработку по для самолетов нанимают фрилансеров-индусов :)

Думаю, там рассуждения ведутся в ключе экономической целесообразности и оценки рисков)

Об истинных мотивах остается только гадать)

:)

Вообще, я чуть почитал про общую алгебру, и появилась мысль, что ЯП используют конструкции оттуда или же различные абстрактные понятия в программировании формализуемы с помошью математики. Вот допустим есть некий класс, в котором определены методы сложения/вычитания/умножения/деления экземпляров этого класса. Тогда этот класс определяет то, что в алгебре называется полем, а конкретный набор объектов этого класса будет конечным полем. Можно очень удобно делать примеры довольно абстрактных вещей, которые хорошо реализуются именно в программировании.

очень грубо, но да