Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Yeah, MISRA C [1] is a set of rules for writing C for safety-critical environments, originally targeting the automotive environment. If you're used to vanilla C, it can feel very constraining!

In the Rust world, there's the Ferrocene project [2], which aims to provide a similar kind of safety-critical level of functionality.

[1] https://en.wikipedia.org/wiki/MISRA_C

[2] https://ferrous-systems.com/ferrocene/



MISRA and Ferrocene are not really related other than both being vaguely in the safety space.

MISRA is, as you say, a set of rules for writing C code, that restrict what you can do.

Ferrocene is a qualified compiler. You write any normal Rust code you want: it's still the upstream Rust compiler. There are no restrictions.

Incidentally, someone has compared what MISRA does to what Rust does: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul...

Given that they can't repeat the MISRA stuff there, it's a bit disjoined, but it sure is interesting!


Thanks for the clarification Steve!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: