If you choose to go through the effort, Haskell can be shown to be provably correct -- that is in a mathematical sense of the term "prove" -- similar to Ada/SPA

If you choose to go through the effort, Haskell can be shown to be provably correct -- that is in a mathematical sense of the term "prove" -- similar to Ada/SPARK. https://stackoverflow.com/questions/4077970/can-haskell-functions-be-proved-model-checked-verified-with-correctness-properti https://stackoverflow.com/questions/4077970/can-haskell-func... AIUI, similar work is being made to Rust to make it have similar provable properties.