Haskell：使用翻转会导致错误：'.>' 的方程具有不同数量的参数

Question

我正在努力理解这里发生了什么。 我想实现一个数据类型Direction并为其定义一个交换运算符.> 。 到目前为止，我有这个：

data Direction = N | E | S | W | None

(.>) :: Direction -> Direction -> [Direction]
N .> S = [None]
W .> E = [None]
(.>) = flip (.>)

我收到错误Equations for '.>' have different numbers of arguments 。 这就是我不明白的，因为在 ghci 中检查时，等式的两边都有相同数量的参数：

λ> :t (.>)
(.>) :: Direction -> Direction -> [Direction]
λ> :t flip (.>)
flip (.>) :: Direction -> Direction -> [Direction]

我可以通过编写d1 .> d2 = d2 .> d1而不是使用flip来解决错误，但我不明白为什么 flip 不起作用。 有任何想法吗？

编辑：删除第二个不相关的问题

Answer 1

Haskell 要求函数的每个方程在左侧具有相同数量的显式参数。 这是不允许的：

N .> S = ...   -- two arguments
W .> E = ...   -- two arguments
(.>) = ...     -- no arguments

即使最后一行在道德上是正确的，因为...部分的类型有两个参数，Haskell 不允许这样做，因为参数没有明确出现在左侧。 因此，我们需要使用类似的方法使参数明确

x .> y = ... x y  -- two arguments

那是：

x .> y = flip (.>) x y

可以简化为

x .> y = y .> x

这就是您在问题中所写的内容。

如果您想知道为什么不允许这样做， 那么有一个问题。