Quelle est l'utilité des opérateurs infixes dans un langage de programmation?

Quelle est l'utilité des opérateurs infixes dans un langage de programmation? Valent-ils la complexité supplémentaire qu'ils procurent? Pouvez-vous fournir des exemples où les opérateurs infixes sont mieux adaptés au problème qui ne peut pas être traité en surchargeant simplement les opérateurs normaux?

Je pense que les opérateurs d'infixation proviennent des mathématiques.

Cette:

2 + 3 * 4

est plus lisible pour la plupart des gens que

(+ 2 (* 3 4))

parce que la plupart des gens connaissent les mathématiques.

Assez intéressant dans Haskell, vous pouvez sauter entre l'infixe et le préfixe. Ceci utilise la même fonction "(+)":

(+) 1 2
1 + 2

et cela utilise la même fonction "elem":

elem 42 [1,2,42]
42 `elem` [1,2,42]

Les langages informatiques sont conçus pour les humains et non pour les machines. Et les humains sont plus habitués à infixer les opérateurs que les pré ou postfixes.

La seule vraie raison des opérateurs d'infixes est que les humains les trouvent généralement plus faciles à lire. Cela est dû en grande partie à deux faits:

• Nous apprenons les opérateurs infixes sous forme de mathématiques dès le plus jeune âge et les connaissons donc: 2 * 2 = 4etc.
• Un opérateur infixe a l'avantage de séparer "visuellement" deux arguments. par exemple(some complex expression) + (some other complex expression)

D'un point de vue logique / machine, les opérateurs d'infixation n'ajoutent pas vraiment de valeur et dans certains cas sont une nuisance:

• Vous pouvez toujours convertir infix en appel de fonction équivalent avec deux arguments - les opérateurs infix ne sont donc jamais plus que du "sucre syntaxique"
• Infix peut être gênant lorsque vous souhaitez utiliser plus de deux paramètres. (* 1 2 3 4 5)en Lisp, par exemple, est sans doute une syntaxe beaucoup plus propre pour multiplier un ensemble de nombres.
• Du point de vue de l'analyse, il est souvent utile de lire d'abord l'opérateur afin de savoir comment interpréter le reste de l'expression. Avec les opérateurs infixes, cela peut être beaucoup plus complexe (par exemple, vous devez conserver une pile ou quelque chose de similaire pour déterminer quel opérateur s'applique à quels arguments)
• Dans les langages basés sur la pile / concaténatifs tels que Forth, vous voulez que l'opérateur soit poussé en dernier sur la pile, afin qu'il ait déjà ses arguments dans la bonne position. Encore une fois, enterrer l'opérateur au milieu d'une séquence de jetons ne fait que compliquer les choses.
• Les opérateurs Infix peuvent devenir très déroutants lorsqu'ils sont surchargés - que signifie "+" lorsqu'il est appliqué à deux HashMaps par exemple? Ici, la compréhension humaine intuitive de l'opérateur infixe fonctionne contre vous car il est facile de supposer un sens qui n'était pas réellement prévu .....