Discussion :

[SpiceGuid]

Il y a quatre motivations possibles pour mettre une paire de parenthèses:

1. augmenter la lisibilité, Caml est riche en ambiguïtés syntaxiques, au lieu de douter sur la priorité d'un opérateur ne vous privez pas d'ajouter des parenthèses
2. outrepasser la priorité d'un opérateur (voir le tableau de priorité des opérateurs)
3. ajouter une paire de parenthèses à droite pour outrepasser la priorité à gauche de l'application de fonction
4. ajouter une paire de parenthèses à gauche pour outrepasser la priorité à droite de _ -> _ (le constructeur de types fonctionnels)

Il y a deux opportunités d'éliminer une paire de parenthèses:

1. lors de l'application vous pouvez éliminer une paire de parenthèses à gauche, ainsi l'application (f a) b peut également s'écrire f a b
2. lors du typage fonctionnel explicite vous pouvez éliminer une paire de parenthèses à gauche, ainsi le type fonctionnel 'a -> ('b -> 'c) peut également s'écrire 'a -> 'b -> 'c

[InOCamlWeTrust]

Et une cinquième : conserver ses cheveux jusqu'à au moins 20 ans parce que, dans le cas contraire, on se les aura tous arrachés à cause des 37 conflits shift/reduce et les 19 conflits reduce/reduce du compilateur OCaml.

[SpiceGuid]

Pour sûr, sinon je n'aurais pas eu l'idée de cette Q/R.
C'est bien censé répondre à une vraie difficulté pour les débutants.

(Q/R éditée pour placer cette préoccupation en position n°1)