Eurydice übersetzt Rust in lesbaren C-Code
Compiling Rust to readable C with Eurydice
Eurydice, ein Projekt des Aeneas-Teams von Inria und Microsoft, kompiliert Rust nach C, wobei die Struktur des Originalcodes erhalten bleibt. Das ist besonders für hochsichere Software nützlich, deren Verifikationswerkzeuge C erwarten. Der Ansatz eignet sich für kleine, in sich geschlossene Programme, stößt aber bei komplexen Rust-Features wie const generics noch an Grenzen. Die generierte C-Ausgabe ist nicht immer idiomatisch, aber sie bewahrt die Semantik und eignet sich als Übergangslösung.
Ob dieser C-Code als „lesbar“ gilt, ist wohl Geschmackssache. Er bewahrt jedoch die Struktur des Codes.
- chias
Was für eine hervorragende Wahl des Produktnamens :D
"You're da C"
- Neywiny
Ich wünschte, das würde mehr Features abdecken, die spezifisch für Rust sind und es nicht nur zur Compile-Zeit, sondern auch zur Laufzeit sicherer machen. Ich schätze, wenn es erst mal IR ist, ist es dasselbe, aber es wäre schön zu sehen, wie es wieder hoch nach C gebracht wird. Zum Beispiel Bounds Checking.
- fithisux
D und C++ würden von so etwas profitieren.