Haskell语言学习笔记（12）Data.Function

Data.Function

本文的主题是 Data.Function 这个模块。这个模块包含很多组合子（combinator）。

id

返回自身的函数。原来不做任何事也是一个函数。

id :: a -> a
id x = x

const

返回固定值的函数。

const :: a -> b -> a
const x _ = x

Prelude> map (const 42) [0..3]
[42,42,42,42]

flip

交换某个函数的两个操作数的函数。

flip :: (a -> b -> c) -> b -> a -> c
flip f x y = f y x

(&)

反向应用函数的函数。

(&) :: a -> (a -> b) -> b
x & f = f x

-- 求所有小于10000的奇平方数的和
Prelude Data.Function> [1..] & map (^2) & filter odd & takeWhile (<10000) & sum
166650

on

替换某个“带两个相同类型参数的函数“的参数类型的函数。

on :: (b -> b -> c) -> (a -> b) -> a -> a -> c
(.*.) `on` f = \x y -> f x .*. f y

Prelude Data.Function Data.List> sortBy (compare `on` fst) [(2,"abc"),(1,"def"),(3,"ghi")]
[(1,"def"),(2,"abc"),(3,"ghi")]
Prelude Data.Function> (zip `on` map fst) [(1,"abc"),(2,"def")] [(3,"abc"),(4,"def")]
[(1,3),(2,4)]