O(x)Caml in Space
The Borealis project, detailed in a blog post by Thomas Gazagnaire on May 14, 2026, showcases the use of OCaml in a satellite launched earlier that year. The satellite runs a custom OCaml runtime optimized for space constraints, including a garbage collector tuned for low memory and real-time requirements. The software handles telemetry, attitude control, and payload data processing. Key components include the MirageOS library operating system and the Irmin library for version-controlled storage. The project demonstrates that OCaml's strong type system and functional paradigm can be effectively applied in embedded systems with limited resources, achieving reliable operation in orbit. The blog post notes that the satellite has been operational for several months, with no critical software failures. This marks a significant milestone for functional programming in aerospace, traditionally dominated by C and Ada.
Functional programming proves viable for space-grade embedded systems.