The next thing is, that they reduce their ; (and add it back by refmt on compilation time, invisible for the users)
So Reason becomes even cleaner to me.
While they use some odd operator symbols compared to OCaml, imho.
My favorite of the ML family is F-sharp.
It is indentation-sensitive, which leads to less clutter.
There are some other things who appeal nice to me, like QtSharp:
It will provide full Qt compability, while OCaml`s lablqml is focused on QML.