haskell - 奇怪的优先级和关联性

Question

通过查看运算符结合性和优先级，我发现了以下内容:

infixr 0 $
infixl 1 &
infixl 4 <$>
infixl 1 <&>

这看起来很奇怪。 &和<&>具有相同的优先级，但是 $和<$>不仅优先级差异很大，而且关联方向也不同。

这有什么充分的理由吗，或者这只是一个历史缺陷？如果这是一个历史疣，你会如何改变它？

Answer 1

我假设<&>你说的是镜头包。在这种情况下，镜头运算符(operator)实际上是为了与其他镜头运算符(operator)相处而设置的，他们并不真正担心常规运算符(operator)，所以 <&>和&很可能是巧合。然而，另外两个则经过深思熟虑。

$根据定义，优先级最低。这就是它存在的原因；如此彻底地改变文本的顺序，可以大大减少对括号的需要。所以自然设置为0。同时，<$>是上下文中的应用程序，是您实际需要执行的操作，而不是 $这只是语法帮助。所以<$>与其他类似的运算符相处具有更高的优先级，例如替代类运算符 <|>优先级较低，因此这些调用可以与 <$> 链接起来适本地。

至于结合性，这只是运算符的使用方式。 $通常用于更简单的函数组合。有人可能会写 f $ g $ x意思是f (g x) 。而<$>几乎总是与 <*> 链接，这也是infixl 4 。这样，像下面这样的语句就是有效的。

(+) <$> [1, 2, 3] <*> [10, 20, 30]

由于左关联性，该表达式将解析如下。

((+) <$> [1, 2, 3]) <*> [10, 20, 30]

这正是我们想要的。函数 (+) 被柯里化(Currying)并接受两个应一一传递的参数。有了右关联性，就会发生以下情况。

(+) <$> ([1, 2, 3] <*> [10, 20, 30])

这表示将第一个列表中的所有数字应用于第二个列表中的数字，然后将结果添加到...某物。不用说，这不会进行类型检查。