让f x y = x * y。我们可以通过两种方式应用这个函数：f 5 6，或者，使用中缀表示法，5 `f` 6。运算符规则是否适用于最后一个表达式？这个申请有什么优先权？它只是另一种形式的函数应用，所以它也会有最高的优先级吗？
我想编译器看到这种特殊形式（由于`` 和/或以字母（？）开头的名称），实际上将其视为普通函数应用程序，而不是将其视为运算符。
【问题讨论】：
标签： function haskell operators operator-precedence infix-notation
Haskell 98 Report 有一个关于 Operator Applications 的部分将其清除：
运算符要么是运算符符号，例如 + 或 $$，要么是 用重音符号（反引号）括起来的普通标识符，例如 `操作`。例如，不要写前缀应用程序 op x y， 可以编写中缀应用程序 x `op` y。如果没有固定性声明 为 `op` 给出，然后它默认为最高优先级并离开 关联性（参见第 4.4.2 节）。
正如其他答案所示，报告中还有一个关于Fixity Declarations 的部分，允许您定义自己的固定性，例如：
infixl 7 `op`
【讨论】：
如果没有给出明确的固定性声明，例如
infixl 7 `quot`
反引号中缀函数的默认固定性为infixl 9，因此将被视为具有相同固定性的任何其他中缀运算符。
【讨论】：
infix 不允许在没有括号的情况下进行链接，因此具有关联性的方向会更方便。右关联性比较少见，因此infixl 是“最不令人惊讶”的选择。优先级 9 最接近前缀应用优先级，因此与前缀应用相比变化最小。做出决定时我不在场，但我认为选择infixl 9 是因为它最方便且不会引起意外。
!! 和 $ 这样的东西呢。为什么!! 的优先级高于$，有什么理由吗？只是想了解表中所有运算符的位置的原因：haskell.org/onlinereport/decls.html#fixity
$ 需要非常低的优先级，因为否则在将函数应用于非原子参数时仍然需要括号，如果 foo $ a + b*c 意味着 (foo a) + (b*c)，那将毫无意义。 $ 的目的要求实际上其他所有内容都具有更高的优先级。许多[相对]优先级，* 比+ 等绑定更紧密，在数学和其他编程语言中很常见。除了先前的约定之外，对于 [预期] 常见情况最方便的考虑因素将起到决定优先级的作用。