haskell - 在haskell中评估 `groupBy`

Question

为什么

groupBy (>) [-5,-4,5,4,-2,-3,2,3]

评估为

[[-5],[-4],[5,4,-2,-3,2,3]]

由于 -3 不大于 2 是否应该对它们进行不同的分组？我预计结果是

[[-5],[-4],[5,4,-2,-3],[2,3]]

我错过了什么？

Answer 1

groupBy::(a -> a -> Bool) -> [a] -> [[a]] 使用组的第一个成员作为引用。所以如果你写:

groupBy eq (x:x2:x3)

它将 - 如果 eq x x2 满足，则调用 eq x x3 来检查 x3 是否也属于同一组。所以调用是:

arg1 | arg2 | (>) `on` (*1)
  -5 |   -4 | False
  -4 |    5 | False
   5 |    4 | True
   <b>5</b> |   -2 | True
   <b>5</b> |   -3 | True
   <b>5</b> |    2 | True
   <b>5</b> |    3 | True

我们可以在 source code of groupBy 中看到这一点:

groupBy                 :: (a -> a -> Bool) -> [a] -> [[a]]
groupBy _  []           =  []
groupBy eq (x:xs)       =  (x:ys) : groupBy eq zs
                           where (ys,zs) = span <b>(eq x)</b> xs

如您所见，span 将 eq x 作为谓词，x 是该组的第一个成员。

该函数可能期望 a -> a -> Bool 为等价关系:等价关系是 (1) 自反； (2)对称； (3)及物。您的函数不是等价关系，因为它既不自反也不对称。因此，您不能(安全地)将 groupBy 与订单关系一起使用。

注意:(>) `on` (*1) 相当于 (>) 因为 (*1) 将返回相同的数字，您只需在此处使函数更加具体，使其仅适用于 Num，但这不是必需的。