Исходное сообщение
"Линус Торвальдс не исключил возможность интеграции поддержки..." Отправлено burjui, 24-Июн-22 22:35
Потому что на них, внезапно, сложно и долго писать. Или ты думал, что там просто компиляторы очень умные, сами угадывают твои намерения, и верификация даётся бесплатно? Чтобы верифицировать твой код, ты сначала должен опписать критерии верификации - то есть, "контракты" в терминологии SPARK. И тебе придётся каждую строчку кода обложить пачкой контрактов, далеко не всегда тривиальных, и тебе это очень быстро надоест, потому что успеешь постареть, пока напишешь хоть какой-то функционал. Для космических аппаратов и ядерных электростанций это приемлемо, а для менее критичного софта - нет. Никто не будет ждать 2 года, пока ты напишешь супернадёжный медиаплеер. И даже SPARK не защитит от логических ошибок, пока контракты пишет человек.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Потому что на них, внезапно, сложно и долго писать. Или ты думал, > что там просто компиляторы очень умные, сами угадывают твои намерения, и > верификация даётся бесплатно? Чтобы верифицировать твой код, ты сначала должен опписать > критерии верификации - то есть, "контракты" в терминологии SPARK. И тебе > придётся каждую строчку кода обложить пачкой контрактов, далеко не всегда тривиальных, > и тебе это очень быстро надоест, потому что успеешь постареть, пока > напишешь хоть какой-то функционал. Для космических аппаратов и ядерных электростанций > это приемлемо, а для менее критичного софта - нет. Никто не > будет ждать 2 года, пока ты напишешь супернадёжный медиаплеер. И даже > SPARK не защитит от логических ошибок, пока контракты пишет человек.
	Введите код, изображенный на картинке: