https://kittyhawk.aero/ used to use Haskell to develop their flight control software. The strong type system of Haskell is touted as ensuring that entire classes of bugs can't occur (like accidentally adding different kinds of quantities together or getting the units wrong).