3 ms·
Another reason to have a second compiler is for safety-critical applications. In the assessment of safety-critical tools if something like a compiler can have a
by MerrimanInd 10mo ago
Another reason to have a second compiler is for safety-critical applications. In the assessment of safety-critical tools if something like a compiler can have a second redundant version then each one of them can be certified to a lower criticality level since they'll crosscheck each other. When a tool is single-sourced the level of qualification goes up quite significantly.
- steveklabnik 10mo agorustc (via Ferrocene) is already being qualified, and form what I hear it’s been fairly easy to do so, for various reasons.
- MerrimanInd 10mo agoYeah it is and that's a great effort, I've worked with that team on various things. But the industry is still itching for a second compiler with no crossover (can't just be another LLVM frontend or rustc fork) for those certification reasons. Not that people want to replace rustc! It's just a cert requirement.
- steveklabnik 10mo agoYeah certainly wouldn't hurt :)