Исходное сообщение
"Линус Торвальдс не исключил возможность интеграции поддержки..." Отправлено warlock66613, 23-Июн-22 23:33
Вам ответить отвлечённо или прагматично? Потому что на Rust приятно писать код. А на SPARK упорешься. Потому что Rust как современный язык отвечает требованиям, предъявляемым современному языку (репозиторий пакетов, вменяемая система сборки, избавление программиста от обезъяньей работы вроде копипаста заголовков методов в интерфейсную часть модуля, и др.), а SPARK — штука древняя. Потому что Rust целенаправленно создавался и создаётся под подобные задачи, и из коробки имеет достойный FFI с Си. Потому что есть инициативная группа (и более широкая масса менее инициативных сочуствующих), желающая видеть Rust в ядре, а для SPARK такой группы не собралось.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Вам ответить отвлечённо или прагматично? > Потому что на Rust приятно писать код. А на SPARK упорешься. Потому > что Rust как современный язык отвечает требованиям, предъявляемым современному языку (репозиторий > пакетов, вменяемая система сборки, избавление программиста от обезъяньей работы вроде > копипаста заголовков методов в интерфейсную часть модуля, и др.), а SPARK > — штука древняя. Потому что Rust целенаправленно создавался и создаётся под > подобные задачи, и из коробки имеет достойный FFI с Си. > Потому что есть инициативная группа (и более широкая масса менее инициативных сочуствующих), > желающая видеть Rust в ядре, а для SPARK такой группы не > собралось.
	Введите код, изображенный на картинке: