3 ms·

Like what?

• brobinson 6y ago
  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.