¿Qué tan útiles son los operadores infix en un lenguaje de programación?

¿Qué tan útiles son los operadores infix en un lenguaje de programación? ¿Merecen la complejidad adicional que proporcionan? ¿Puede proporcionar algún ejemplo en el que los operadores infijos se adapten mejor al problema que no se puede manejar simplemente sobrecargando a los operadores normales?

Creo que los operadores infijos provienen de las matemáticas.

Esta:

2 + 3 * 4

es más legible para la mayoría de las personas, que

(+ 2 (* 3 4))

porque la mayoría de las personas están familiarizadas con las matemáticas.

Lo suficientemente interesante en Haskell puede saltar entre infijo y prefijo. Esto está usando la misma función "(+)":

(+) 1 2
1 + 2

y esto está usando la misma función "elem":

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

Los lenguajes de computadora están diseñados para humanos, no para máquinas. Y los humanos están más acostumbrados a infijar operadores que pre o postfixes.

La única razón real para los operadores de infijo es que los humanos generalmente los encuentran más fáciles de leer. Esto se debe en gran parte a dos hechos:

• Aprendemos operadores infijos en forma de matemáticas desde una edad temprana y, por lo tanto, estamos familiarizados con ellos: 2 * 2 = 4etc.
• Un operador infijo tiene la ventaja de separar "visualmente" dos argumentos. p.ej(some complex expression) + (some other complex expression)

Desde una perspectiva lógica / máquina, los operadores infijos realmente no agregan ningún valor y en algunos casos son una molestia:

• Siempre puede convertir de infijo a una llamada de función equivalente con dos argumentos, por lo que los operadores de infijo nunca son más que "azúcar sintáctico"
• Infix puede ser inconveniente cuando desea utilizar más de dos parámetros. (* 1 2 3 4 5)en Lisp, por ejemplo, se podría decir que es una sintaxis mucho más limpia para multiplicar un conjunto de números.
• Desde una perspectiva de análisis, a menudo es útil leer primero el operador para saber cómo interpretar el resto de la expresión. Con los operadores de infijo, esto puede ser mucho más complejo (por ejemplo, debe mantener una pila o algo similar para determinar qué operador se aplica a qué argumentos)
• En lenguajes basados ​​en pila / concatenantes como Forth, desea que el operador sea empujado en la pila al final, de modo que ya tenga sus argumentos en la posición correcta. Nuevamente, enterrar al operador en medio de una secuencia de tokens solo complica las cosas.
• Los operadores de Infix pueden volverse muy confusos cuando están sobrecargados. ¿Qué significa "+" cuando se aplica a dos HashMaps, por ejemplo? Aquí, la comprensión humana intuitiva del operador infijo funciona en su contra porque es fácil asumir un significado que en realidad no fue pensado .....