Hacker News Reader

There's also the Ravenscar profile[1] for Ada and the SPARK language[2]. How those compare in marketshare to MIRSA C, I'm not sure, I'm not in that field, though I've enjoyed reading about them at a conceptual level.

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

[2] https://en.wikipedia.org/wiki/SPARK_(programming_language)

[&] https://docs.adacore.com/sparkdocs-docs/Examiner_Ravenscar.h...

View on HN

Anecdotally, everything I've seen (hardware drivers) has been in (MISRA) C or a subset of C++. Ironically, many of the alternatives require too much discipline to keep devs happy. MISRA C at least lets them pretend they're in their happy place.

ive been in the misra c realm a while and romanticized ada, spark, ravenscar profile etc. i think if you have a team and problem that can go 100% in on it, its unmatched (and some industries certainly do, aviation, autopilots, internal fuze controls etc..)

Reply on news.ycombinator.com