6 ms·
Ferrocene is a specification but it’s not a formal specification. [Minirust](https://github.com/minirust/minirust https://github.com/minirust/minirust) is the c
by SabrinaJewson 1y ago
Ferrocene is a specification but it’s not a formal specification. [Minirust](https://github.com/minirust/minirust https://github.com/minirust/minirust) is the closest thing we have to a formal spec but it’s very much a work-in-progress.
- steveklabnik 1y agoIt's a good enough spec to let rustc work with safety critical software, so while something like minirust is great, it's not necessary, just something that's nice to have.
- Ar-Curunir 1y agoIsn’t the Ada spec also not a formal spec?
- the_why_of_y 1y agoThe most popular language with a formal specification is Standard ML. I guess this is terminology confusion on behalf of Surac, who probably just wants a specification that is independent of the rustc implementation.