haskell - 为什么 Haskell 中的 groupBy 需要两个变量来检查

Question

我在 Haskell 中使用 groupBy，我的理解是 groupBy 函数接受一个列表和一个条件，并根据指定的条件对元素进行分组。

let value = [-3,-5,-1,1,1,1,2,3,-1,-2]
groupBy (\x y -> (x > 0) == (y > 0)) value

它工作正常，但为什么我们要在 lambda 函数中给出两个变量？为什么“groupBy (>0) 值”不起作用？两个条件也应该相同吗？如果它们不同会发生什么。请举例说明。

Answer 1

Lignum's answer解释了为什么 groupBy 谓词需要两个参数。换句话说，groupBy设置边界，你需要两条边才能定义边界。

Also should both the conditions be the same? What will happen if they are different.

是的，他们应该。作为Data.List documentation笔记...

The predicate is assumed to define an equivalence.

换句话说，如果 p::a -> a -> Bool 是你传递给 groupBy 的谓词，那么所有...

• p x x = True
• p x y = p y x
• 如果 p x y && p y z 那么 p x z

...应该持有。如果不是这样，就会发生奇怪的事情。例如，我们一开始可能会认为...

groupBy (\x y -> (x > 0) == (y < 0)) [-1,2,-3,-4,2,1,2,-3,1,1,2]

... 将生成由零以上和零以下元素交替组成的组。相反，我们得到了虚假的结果:

GHCi> groupBy (\x y -> (x > 0) == (y < 0)) [-1,2,-3,-4,2,1,2,-3,1,1,2]
[[-1,2],[-3],[-4,2,1,2],[-3,1,1,2]]

(出错的原因是通过根据 span 实现 groupBy 来利用谓词是等价的保证。)

---

最后，还有一种更好的编写 groupBy 谓词的方法:使用 on来自 Data.Function:

GHCi> groupBy ((==) `on` (> 0)) value
[[-3,-5,-1],[1,1,1,2,3],[-1,-2]]

(g `on` f) x y = g (f x) (f y)。您甚至可以定义:

-- A more general type: Eq b => (a -> b) -> [a] -> [[a]]
groupBySingle :: (a -> Bool) -> [a] -> [[a]]
groupBySingle p = groupBy ((==) `on` p)