OCaml is functional-first, but also a fine imperative language if needed. Native compiler produces fast code, no null pointers, by default everything is constant. Haskell is too abstract for most people, including myself.