Ocamlの構文エラー：関数アプリケーションで（...の場合は）かっこが必要なのはなぜですか？

Question

ocaml toplevelにこのコードを入力すると、構文エラーが発生します。

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

しかし、このコードはOKです。

(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 

のような式は、（読みにくいことに加えて）あいまいになるので。