You might find this page from the Reason website useful: https://facebook.github.io/reason/mlCompared.html https://facebook.github.io/reason/mlCompared.html It

You might find this page from the Reason website useful: https://facebook.github.io/reason/mlCompared.html https://facebook.github.io/reason/mlCompared.html It replaces a lot of the idiosyncratic bits of OCaml's syntax with things that feel more appropriate if you're comfortable with other modern languages. A quick example is tuple types. OCaml declares tuple types as int * int, which makes total sense if you know that tuples are a product type. However, you actually create tuples using commas. Reason throws away the connection to theory and uses the same syntax for types (int, int) and creating values of that type (3, 7).