部分應用新增功能

我們可以使用部分應用來鎖定第一個引數。在應用一個引數之後,我們留下一個函式,該函式在返回結果之前需要多一個引數。

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

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

然後我們可以使用 addOne 來新增一個 Int。

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