Eurydice компилирует Rust в читаемый C
Compiling Rust to readable C with Eurydice
Eurydice — новый компилятор из проекта Aeneas, который преобразует Rust в чистый C, сохраняя структуру кода. Это полезно для верификации и сред, где есть только C-компилятор. Пока Eurydice работает с небольшими программами, но уже применялся для постквантовой криптографии. Проект развивают Inria и Microsoft.
Eurydice заботится о сохранении общей структуры кода, удаляя конструкции, которые есть в Rust, но отсутствуют в C.
- chias
Какой отличный выбор названия продукта :D
"You're da C"
- Neywiny
Хотел бы я, чтобы это покрывало больше фич, специфичных для Rust, которые делают его безопаснее во время выполнения, а не только на этапе компиляции. Полагаю, к моменту IR всё одинаково, но было бы неплохо увидеть возврат обратно на уровень C. Например, проверка границ.
- fithisux
D и C++ выиграли бы от чего-то подобного.