haskell - 为什么中缀运算符在 let/do 绑定(bind)中失去固定性

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 中，固定性是按名称定义的。因此，如果您为操作符定义一个新名称，该名称将具有其自身的固定性——与原始名称不同。

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

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

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

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