[golemarms]

> For instance building some state control engine for rockets etc.

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.

[tome]

> 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...