Great news! Ogma (written in Haskell) is now a recommended tool for monitoring in Space ROS applications.
https://space-ros.github.io/docs/rolling/Related-Projects/Ogma.html
For info/context: Space ROS is an open-source space robotics framework for developing flight-quality robotic and autonomous space systems, led by Open Robotics and with support from Blue Origin. Space ROS is based on the Robot Operating System, a middleware used in robotics applications. Within NASA, space robots such as the Astrobee, currently in the ISS, use ROS. (Disclaimer: Ogma is not currently being used in the Astrobee.)
More info on Space ROS: Open Robotics developing Space ROS with Blue Origin, NASA
Astrobee aboard the ISS. | Source: NASA