Haskell funzione infisso precedenza applicazione

Question

Let f x y = x * y. Possiamo applicare questa funzione in due modi: f 5 6 o, utilizzando la notazione infisso, 5 `f` 6. Le regole dell'operatore si applicano a quest'ultima espressione? Quale precedenza avrà questa applicazione? È solo un'altra forma di applicazione di funzione, e quindi avrà anche la precedenza più alta?

Suppongo che il compilatore visualizzi questo modulo speciale (a causa di `` e/o il nome che inizia con una lettera (?)), E in realtà lo tratta come applicazione di funzione ordinaria, invece di considerarlo un operatore.

Answer 1

Il Haskell 98 Report ha una sezione sulla Operator Applications che libera in su:

Un operatore è sia un simbolo dell'operatore, come ad esempio + o $$, o è un identificatore ordinario racchiuso in accenti gravi (apici) , ad esempio `op`. Ad esempio, invece di scrivere l'applicazione prefisso op xy, si può scrivere l'applicazione infisso x `op` y. Se non è stata fornita la dichiarazione di fissità per `op`, il valore predefinito è la precedenza più alta e lascia l'associatività (vedere la Sezione 4.4.2).

Come indicato dalle altre risposte, il Rapporto ha anche una sezione sulla Fixity Declarations che consente di definire la propria fissità, ad esempio:

infixl 7 `op` 

Answer 2

Se non viene fornita alcuna dichiarazione di fissità esplicita, come ad es.

infixl 7 `quot` 

una funzione infisso backticked ha la fissità predefinito infixl 9, così sarà trattato come qualsiasi altro operatore infisso con la stessa fissità.