Исходное сообщение
"Линус Торвальдс не исключил возможность интеграции поддержки..." Отправлено burjui, 25-Июн-22 19:39
Как я и писал выше, опеннетовский эксперт не умеет читать [1] и мыслить критически [2]. А в вашем случае ещё и минимально грамотно писать [3] - это при наличии спеллчекера в браузере. Зато всё на свете знает. И правильно - зачем думать, если можно просто знать? [1] Выше я писал: "И тебе придётся каждую строчку кода обложить пачкой контрактов, далеко не всегда тривиальных, и тебе это очень быстро надоест, потому что успеешь постареть, пока напишешь хоть какой-то функционал. Для космических аппаратов и ядерных электростанций это приемлемо, а для менее критичного софта - нет. Никто не будет ждать 2 года, пока ты напишешь супернадёжный медиаплеер." [2] "Трудозатраты на мат верификацию исходного кода на отсутствие уязвимостей и збоев работы программы на SPARK равны 0." Ага, а про трудозатраты на написание нескольких контрактов на одну строчку кода мы, конечно же, забудем. Видимо, компилятор сам догадается, что ты имел ввиду и напишет контракты за тебя. Только непонятно тогда, зачем нужен программист, если компилятор такой умный. [3] Не люблю докапываться до орфографии, но это же просто ужас какой-то - "перещетай", "збоев", "верефицируемо", "програмам".

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