All I ask of a language (other things are nice but not required) is no "runtime type errors" and no data races. Haskell, Rust, OCaml give me these things.
[Slightly more formally, the first can be rephrased as "no omnipresent non-obvious partiality excluding that from non-termination".]