Anything to the right of Rust on the type safety spectrum... F#, OCaml, Haskell, etc. Compile-time guarantees of runtime type safety are :100: when dealing with money and other critical things.

Search for "jane street ocaml" and "standard chartered haskell" for examples of companies using languages with good type systems in financial code.