Исходное сообщение
"Уязвимость в OpenSSL и LibreSSL, приводящая к утечке содержи..." Отправлено Анонимусс, 08-Фев-23 16:58
Ты ж понимаешь, что своим утверждением просто заявляешь "разрабам openssl нacpaть на безопасность, они не включили даже варнинги не то что анализаторы"? Я не знаю как у них на самом деле, может у них все включено. Но если оно выключено - ты НИКАК не заставишь их это включить. Все что идет выключенное по-умолчанию - просто игнорируется by default. И в каждой такой новости возникает вопрос - "какого черта вы до сих пор этим всем не пользуетесь???" Именно поэтому самый разумный способ - запретить это делать, пока программер осознанно не решит это сделать (напр. словом unsafe). "модная система типов" это намного большее чем просто анализатор. Это и optional которые позволяют не лепить кучу проверок на null (и не забивать на них, потому что "не, ну проверок много, оно же тормозить будет") И enum, которые можно сравнивать только с enum того же типа, а не с чем попало. Про ассоциативные типы даже говорить нет смысла. И зависимые типы, и трейты, и куча всего что позволяет допускать меньше ошибок, в том числе логических.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Ты ж понимаешь, что своим утверждением просто заявляешь "разрабам openssl нacpaть на > безопасность, они не включили даже варнинги не то что анализаторы"? > Я не знаю как у них на самом деле, может у них > все включено. > Но если оно выключено - ты НИКАК не заставишь их это включить. > Все что идет выключенное по-умолчанию - просто игнорируется by default. > И в каждой такой новости возникает вопрос - "какого черта вы до > сих пор этим всем не пользуетесь???" > Именно поэтому самый разумный способ - запретить это делать, пока программер осознанно > не решит это сделать (напр. словом unsafe). > "модная система типов" это намного большее чем просто анализатор. > Это и optional которые позволяют не лепить кучу проверок на null (и > не забивать на них, потому что "не, ну проверок много, оно > же тормозить будет") > И enum, которые можно сравнивать только с enum того же типа, а > не с чем попало. Про ассоциативные типы даже говорить нет смысла. > И зависимые типы, и трейты, и куча всего что позволяет допускать меньше > ошибок, в том числе логических.
	Введите код, изображенный на картинке: