Исходное сообщение
"Линус Торвальдс не исключил возможность интеграции поддержки..." Отправлено Анлним, 25-Июн-22 18:28
> Сами идите, пишите на обоих языках, а потом сравнивайте объём кода, трудозатраты и КПД своей работы. Ты правильные вопросы задал:   объем кода   трудозатраты   КПД молодец. Теперь в твою модель добавь следующие переменные:   надежность (авиация, еретические производства, оборонка - сбой, падение программы неприемлемо)   безопасность (требуется уровень не ниже A1 - математическое доказательство корректности, отсутствия ошибок и уязвимостей на уровне исходных текстов) И перещетай заново свои критерии оценки языка:   объем кода   трудозатраты   КПД И где теперь Rust с C по сравнению со SPARK? > А заодно подумайте, почему ни один из формально верифицируемых языков даже близко не пошёл в массы. Это смотря кто заказчик. Массовому заказчику надо:   быстро и дёшево а не   надежно, безопасно, верефицируемо. По этому пишут на Python. За SPARK стоит самый крутой заказчик, которому необхожим язык дающий сразу гарантии:   надежности   безопасности   верефицируемости всем написанным на нем програмам. Трудозатраты на мат верификацию исходного кода на отсутствие уязвимостей и збоев работы программы на SPARK равны 0.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: