Сведение ржавчины к считываемому C с Eurydice

Подключить Раст к удобочитаемому C с Eurydice готовый дать LWN попробовать? Подписываясь на LWN, вы можете оставаться в курсе того, что происходит в Linux и свободном софт-сообществе, а также использовать только абонентские сайты. Мы рады предложить вам бесплатную подписку на судебный процесс, не требуется кредитка, чтобы вы сами могли увидеть. Пожалуйста, присоединяйтесь к нам! Несколько лет назад, единственный способ скомпилировать код Раста был использовать ржавый компилятор с LVM в качестве запасного варианта. С тех пор несколько проектов, в том числе Mutabah's Rust Compiler (mrustc), поддержка CCLS Rast (gccrs), ржавчина_codegen_ gcc и Крейнелифт достигли огромного прогресса в диверсификации внедрения компилятора Rust. Последний такой проект, Эвридица, преследует более амбициозную цель: преобразовать код Раста в чистый код С. Это особенно полезно в программном обеспечении высокого уровня страхования, где существующие инструменты проверки и соблюдения ожидают C. До тех пор пока такие инструменты не будут обновлены для работы с Растом, Эвридика могла бы обеспечить более плавный переход к этим проектам, а также ступенек для среды, которая имеет компилятор C, но не работает компилатор Rust. Эвридика использовалась для составления некоторых постквантово-криптографических рутинок от Раста до С, например. Эвридика была начата в 2023 году и включает некоторые коды под лицензией MIT, а другие - по лицензии Apache-2.0. Это часть проекта "Энеас", который работает над разработкой…