我正在努力理解这里发生了什么。 我想实现一个数据类型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
来解决错误,但我不明白为什么翻转不起作用。有什么想法吗?
编辑:删除了第二个不相关的问题
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
这就是你在问题中写的。
如果你想知道为什么这是不允许的,有一个问题。