Haskell中綴函數應用優先級

Question

讓f x y = x * y。我們可以通過兩種方式應用此功能：f 5 6或使用中綴表示法，5 `f` 6。操作員規則是否適用於最後一個表達式？這個應用程序有什麼優先權？它只是函數應用的另一種形式，它也會具有最高的優先級嗎？

我想編譯器會看到這種特殊的形式（由於``和/或名稱以字母（？）開頭），並且實際上將其視爲普通函數應用程序，而不是將其視爲運算符。

Answer 1

Haskell 98 Report的具有清除它上Operator Applications一個部分：

操作者或者是一個運算符，如+或$$，或者是封閉在重音符的 普通標識符（反引號） ，如 `op`。例如，不用編寫前綴應用程序op x y， ，可以編寫中綴應用程序x`op` y。如果沒有針對`op`給出固定聲明 ，則默認爲最高優先級並且保留 關聯性（參見第4.4.2節）。

正如其他的答案指出，該報告還對Fixity Declarations一個部分，它允許你定義自己的固定性，例如：

infixl 7 `op` 

Answer 2

如果沒有給出明確的固定性聲明，例如，

infixl 7 `quot` 

一個backticked綴函數的infixl 9默認的固定性，所以會喜歡用相同的固定性任何其他綴運算符來處理。