OCaml seems like it hits all of those well.