Ошибка синтаксиса Ocaml: зачем нужны круглые скобки (если ...) в приложении функции?

Question

Ввод этого кода в ocaml toplevel приводит к ошибке синтаксиса.

(fun n -> n + 1) if true then 1 else 2 

Но этот код в порядке.

(fun n -> n + 1) (if true then 1 else 2) 

Почему нужны круглые скобки?

Answer 1

Это является следствием таблицы приоритетов ocaml operators priority. Функция оставила ассоциативность, а если не имеет ассоциативности.

Answer 2

Поскольку выражение как

f if a then b else x y 

будет неоднозначным (помимо того, что трудно читать).