I should think OCaml or SML should be added to the mix. Neither has Async built in, but the other points are handled quite well. http://ocaml.org/description.html