Исходное сообщение
"Выпуск языка программирования Rust 1.55" Отправлено Аноним, 10-Сен-21 16:44
В конце 70-тых французы от департамента обороны США получили контракт на разработку правильного и безопасного языка. В 1983 вышла ADA. В школе нам его упоминали как ответвление от Паскаля. Думал что язык АДА не используется и мертв. Недавно, чисто случайно узнал что на современном ВЕРИФИЦИРУЕМОМ диалекте АДА в ЕС активно пишут софт. Написали матверифицированное ядро ОС системный и прикладной софт. И переписывают на ВЕРИФИЦИРУЕМОМ диалекте АДА лучшие решения и алгоритмы с C и Rust. А местные рестораны в курсе языка ADA и то что люди переписывают софт с Rust на верифицируемый диалект ADA для пущей безопасности?