部分应用添加功能

我们可以使用部分应用来锁定第一个参数。在应用一个参数之后,我们留下一个函数,该函数在返回结果之前需要多一个参数。

(+) :: Int -> Int -> Int

addOne::Int -> Int
addOne = (+) 1

然后我们可以使用 addOne 来添加一个 Int。

> addOne 5
6
> map addOne [1,2,3]
[2,3,4]