Better support for polymorphism. At the moment, different types mean different function or operator names for ReasonML (for example, there is + for ints and +. for floats). Haskell has type classes to solve this problem. A similar approach is being worked on for OCaml (and therefore ReasonML): modular implicits.

A better standard library. Many things are being explored in this area (see repository reasonml-community/belt). OCaml has a fair amount of fragmentation here, so standardization will be welcome.

Better support for Unicode. At the moment, OCaml has no support for Unicode whatsoever and OCaml characters are 8 bit in size. You can get some Unicode support via BuckleScript’s custom string literals (which compiles to JavaScript strings):

Js.log({js|äöü|js});

In the future, ReasonML may add more support for OCaml. They could, e.g., treat strings as UTF-8 with tool functions for accessing grapheme clusters and code points. Compilation to JavaScript will present challenges (e.g. accessing characters/units), because JavaScript is basically UTF-16.

I’m excited about what’s in store. Better async support is especially important to me, as it will make Node.js development much more pleasant. Is there anything that you’d like to have that’s not on this list?