Исходное сообщение
"Выпуск языка программирования Rust 1.60" Отправлено Брат Анон, 09-Апр-22 22:19
> А вот по поводу критической надежности. > В соседей теме чел про SPARK задвигает. > Сталкивался с этим языком? Я даже могу предположить фамилию этого чела. Рыбин. Всегда по СПАРКу два вопроса и на один из них ответ уже печальный: 1) Что будет, если вдруг запретят экспорт технологии в Россию? 2) Всё у вас сертифицированное и куча тестов. А кто сертифицировал gcc, в который вы транслируете код? Какие гарантии, что ваш танк надёжности не провалится сквозь тонкий лёд инфраструктуры? А так СПАРК сам по себе не дурён, толковые ребята делают. Но, политика, жирнючий всё такое. Тут перспективы далеко не радужные. Для атомной промышленности -- вопрос когнитивной управляемости, зависимость от вендоринга -- это вопрос жизни и второй Фукусимы. Оберон здесь явно выигрывает.