Wo ist die Quelle für: "Funktionsanwendung hat höhere Priorität als Infix-Operatoren" [Haskell]

Question

Ich lerne über Operator Vorrang in Haskell. Mehrere Orte im Internet erwähnen, dass die Funktion Anwendung höheren Vorrang als Operatoren hat, aber ich konnte keine endgültige Quelle dafür finden. Hier

ist eine solche Erwähnung von A Gentle Introduction To Haskell:

Funktion Anwendung hat eine höhere Priorität als jeder Infixoperator

Es gibt einen Abschnitt in der Haskell 98 Report, die es spielt:

normale Konstruktor-Anwendung hat höhere Priorität als Infix-Konstruktor-Anwendung

Wo ist eine definitive Quelle? Ich würde erwarten, dass es in den Haskell 98 Report aufgenommen wird, vielleicht lese ich es nicht richtig.

Answer 1

Sie können es here in der EBNF zu finden:

exp^10 -> ... 
     | fexp 

fexp -> [fexp] aexp 

die im Grunde diese Funktion Anwendung bedeutet hat Vorrang 10, höher als alle Sie berechtigt sind, an einen Betreiber zu geben.

Answer 2

Die Haskell Report ist selbst eine definitive Referenz, so dass das Zitat, das Sie gefunden haben, ausreichend ist.

Sie können die gleichen Informationen auch in der Grammatik finden.

Sie können sehen, dass die Funktionsanwendung den Vorrang "10" hat, während alle Infix/Präfix-Operatoren 9 oder niedriger sind.