Исходное сообщение
"Критика включения API Idle Detection в Chrome 94. Эксперимен..." Отправлено Аноним, 25-Сен-21 11:47
> Умалчивается? Нет, скорее не упоминается. По одной простой причине - для Си пример формальной верификации есть, для Раста - нет. Так с теми ограничениями на использование в Си, что были озвучены, это уже не Си и программировать на таком обрубке много-много хуже чем на Си (забрали половину фич в угоду безопасности) и совсем невозможно по сравнению со ржавчиной (в которой безопасность и фич "искаропки" больше чем в Си). И спрашивается, если нужна более высокая безопасность, что лучше - обрезанный до невозможности кастрат Си, или "безопасный Си" на стероидах с возможностью, если тебе всё-таки хочется, стрелять себе в ногу (unsafe)?

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