Hacker News Reader

It seems to me like OCaml has all of those features except for #3 (which admittedly is pretty frustrating to me too). What do you think?

OCaml has great support for concurrency (check out Lwt or Async libraries). Do you mean parallelism, perhaps?

Depends on what you mean by concurrency support. OCaml has nice green threads via Lwt.