If correctness is the top priority, then formal verification methods and/or SPARK and/or specialized subsets of C with the tooling that comes with them for safety projects.

Rust and Haskell and standard C and C++ are all non-starters.