Función de función de infijo Haskell precedencia

Question

Deje f x y = x * y. Podemos aplicar esta función de dos maneras: f 5 6, o, usando notación infija, 5 `f` 6. ¿Las reglas del operador se aplican a esta última expresión? ¿Qué precedencia tendrá esta aplicación? ¿Es solo otra forma de aplicación de función, y también tendrá la más alta prioridad?

Supongo que el compilador ve esta forma especial (debido a `` y/o el nombre que comienza con una letra (?)), Y realmente la trata como una aplicación de función normal, en lugar de considerarla un operador.

Answer 1

El Haskell 98 Report tiene una sección sobre Operator Applications que lo aclara:

Un operador es o bien un símbolo de operador, tales como + o $$, o es un identificador ordinario encerrado en acento grave (comillas inversas) , como `op`. Por ejemplo, en lugar de escribir la aplicación de prefijo op x y, , uno puede escribir la aplicación infijo x `op` y. Si no se proporciona una declaración de fijeza para `op`, su valor predeterminado es la precedencia más alta y deja asociatividad (consulte la Sección 4.4.2).

Como se indica por las otras respuestas, el informe también tiene una sección sobre Fixity Declarations que le permite definir su propia fijeza, por ejemplo:

infixl 7 `op` 

Answer 2

Si no se proporciona una declaración de rigidez explícita, como p. Ej.

infixl 7 `quot` 

una función infija backticked tiene la fijeza predeterminado de infixl 9, por lo que será tratado como cualquier otro operador infijo con la misma fijeza.