Totally fair points, it's an overgeneralization to say that LLVM gives you platform-independence for free (look at Rust's battle for Windows for some perspectiv

Totally fair points, it's an overgeneralization to say that LLVM gives you platform-independence for free (look at Rust's battle for Windows for some perspective!). Perhaps you could consider that another +1 for Rust is that it manages those platform differences well. As for compiling to MIR, that's a solid point--I think the only reason you would compile to Rust instead of MIR is that it's easier as the compiler writer. As mentioned in the post, you can write code generators quickly just using quasiquotations.