> Ogma, a new open-source NASA tool, written in Haskell, to generate hard-realtime C runtime monitoring applications from high-level specifications
https://www.reddit.com/r/haskell/comments/r80djm/ann_nasas_o...
https://www.reddit.com/r/haskell/comments/r80djm/ann_nasas_o...
Just out of curiosity: are there companies actually writing mission-critical code in a Haskell? My impression is that those normally tend to get written in C++ and the like.