6

在haskell我可以使用

sortBy (comparing snd) 

按元组中的第二个值排序。

是否有用于测试等效性的等效功能?我想出了这个,但标准库中可能有一些东西。

equalsBy :: Eq b => (a -> b) -> a -> a -> Bool
equalsBy f x y = f x == f y

最终目标是按第二个值对一组对进行分组。有了这个我可以做到

groupBy (equalsBy snd) pairs

代替

groupBy (\x y -> (snd x) == (snd y)) pairs
4

1 回答 1

16

您正在寻找一个更高级别的函数,称为on

> import Data.Function
> :t on
on :: (b -> b -> c) -> (a -> b) -> a -> a -> c

那么我该如何使用呢?像这样!

> :t ( (==) `on` snd )
( (==) `on` snd ) :: Eq b => (a, b) -> (a, b) -> Bool

这意味着我们想要:

> groupBy ( (==) `on` snd) [ (1,3), (23,9), (42,9), (1,3), (48, 3), (18,18)]
[[(1,3)],[(23,9),(42,9)],[(1,3),(48,3)],[(18,18)]]

耶!

编辑:

我想说明comparingon. 它只是一个专门的用途on

> :t comparing
comparing      :: Ord a => (b -> a) -> b -> b -> Ordering
> :t (compare `on`)
(compare `on`) :: Ord b => (a -> b) -> a -> a -> Ordering

(注意类型变量被交换了,但是你可以看到类型是相同的)

于 2014-01-17T01:01:37.713 回答