Исходное сообщение
"Линус Торвальдс не исключил возможность интеграции поддержки..." Отправлено Анлним, 25-Июн-22 18:53
Ответ: массового заказчика нет. SPARK уже занял свою нишу. Заказчик должен платить за надежность, безопасность и верифицируемость ПО. Есть надежная, безопасная и верифицируемая ОС: https://muen.sk Кажется стандарт в гражданской авиации. Даже в РФ бортовое ПО на ADA-SPARK пишут? Кроме атомной энергетики, военные SPARK любят в своих АСУ. Сегодня просто уникальный исторический момент. Прошло около 45 лет со дня заказа разработки этого языка программирования, сменилось несколько поколений программистов и на конец в GNU смогли написать свободный компилятор RUST. Вхождение в мир надежного, безопасного и верифицируемость ПО стоит не десятки миллиардов долларов, а 0.0$ Я категорически против зоопарка. Убежден, что Linux должен писался на C и ASM, как это было изначально. А добавление любого другого языка в ядро Linux только запустить его, затруднит поддержку и использование. А конкретно Rust вместо безопасности добавит новые классы уязвимостей.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Ответ: массового заказчика нет. > SPARK уже занял свою нишу. Заказчик должен платить за надежность, безопасность и > верифицируемость ПО. > Есть надежная, безопасная и верифицируемая ОС: https://muen.sk > Кажется стандарт в гражданской авиации. Даже в РФ бортовое ПО на ADA-SPARK > пишут? > Кроме атомной энергетики, военные SPARK любят в своих АСУ. > Сегодня просто уникальный исторический момент. Прошло около 45 лет со дня заказа > разработки этого языка программирования, сменилось несколько поколений программистов > и на конец в GNU смогли написать свободный компилятор RUST. Вхождение > в мир надежного, безопасного и верифицируемость ПО стоит не десятки миллиардов > долларов, а 0.0$ > Я категорически против зоопарка. Убежден, что Linux должен писался на C и > ASM, как это было изначально. А добавление любого другого языка в > ядро Linux только запустить его, затруднит поддержку и использование. А конкретно > Rust вместо безопасности добавит новые классы уязвимостей.
	Введите код, изображенный на картинке: