为什么中缀运算符在 let/do 绑定中失去固定性

Question

我定义了一个像这样的低优先级（lowMult）中缀运算符：

a `lowMult` b = a*b  
infix 1 `lowMult`

因此 GHCi 将 8-1 `lowMult` 4 + 2 评估为 42
然而，在像 [8 - 1 `op` 4 + 2 | op <- [lowMult]] 这样的列表理解中，运算符 (op) 似乎具有 (*) 固定性，因为 GHCi 将先前的列表理解评估为 [6]

Answer 1

在 Haskell 中，固定点是按 name 定义的。因此，如果您为操作员定义一个新名称，该名称将具有自己的固定性——不同于原来的名称。

在您的列表理解中，您为lowMult--op 定义了一个新名称。由于您没有指定op 的固定性，它会获得默认级别，这是具有左关联性的最高可能固定性。这使得它比乘法绑定更更紧密。

这种行为确实是唯一合乎逻辑的选择。否则，在这种情况下你会怎么做？

[8 - 1 `op` 4 + 2 | op <- [lowMult, (*)]]

如果运算符是作为参数传入的，或者是更复杂的表达式本身的结果会怎样？所有运算符的固定性必须在编译时定义，因此不能像这样依赖运行时信息。