Hace unos años, la única forma de compilar código Rust era usar el compilador rustc con LLVM como backend. Desde entonces, varios proyectos, entre ellos mrustc, el soporte de Rust de GCC (gccrs), rust_codegen_gcc y Cranelift, han diversificado las implementaciones de compiladores de Rust. El proyecto más reciente, Eurydice, pretende convertir código Rust en código C limpio, útil en software de alta fiabilidad donde las herramientas de verificación esperan C.
Eurydice, iniciado en 2023, forma parte del proyecto Aeneas, que desarrolla herramientas para aplicar verificación formal al código Rust. Mantenido por investigadores de Inria y Microsoft, Eurydice sigue una estructura de compilador estándar: analiza Rust, convierte a IR, aplica pasadas y genera C.
A diferencia de otros compiladores, Eurydice conserva la estructura del código mientras elimina las construcciones exclusivas de Rust. Por ejemplo, compila las funciones de mínimo común múltiplo a C legible con variables temporales para mantener el orden de evaluación. Aunque no todos los programas Rust se traducen fielmente debido a los genéricos y a los iteradores, Eurydice ofrece una transición más sencilla para entornos con compiladores de C pero sin soporte para Rust.
El proyecto incluye código bajo las licencias MIT y Apache-2.0 y acepta contribuciones externas.
Fuente: Hacker News · Resumido por HeadlinesBriefing