If it's readable C, this sounds great for a full source bootstrap of the rust compiler.
I wish this covered more features specific to rust that make it more runtime safer not just compile time safer. I guess by the time it's IR it's the same but moving it back up to C would be nice to see. Like bounds checking.
I think those are covered. Any checks that Rust adds will be present in the IR (either coded in the original source or implied through rust semantics). Those checks would then get put in the compiled C output. The ideal output of Eurydice would be to have exactly the same semantics and safety as provided by Rust. Since their use case is to use Rust to code on platform without support for a rust compiler, it is a rather important goal to have too.
What an excellent choice of product name :D
"You're da C"
"you read da c"
Only know the pronunciation due to hadestown
Really more like "you're rid o(f) c" though, have you considered making it compile the other way
Sorry but even threads about fringe mathematics are somewhat easier to decipher for me than this thread.
ELI5, anyone?
"Eurydice" is pronounced roughly like each of the ancestor posts. (It isn't "you-ree-dice".)