部分申请 - 第 1 部分

在 Haskell 中,可以部分应用函数; 我们可以将所有函数视为采用单个参数,并返回该参数为常量的修改函数。为了说明这一点,我们可以将功能括起来如下:

(((plus) 1) 2)

这里,函数 (plus) 应用于 1,产生函数 ((plus) 1),它被应用于 2,产生函数 (((plus) 1) 2)。因为 plus 1 2 是一个不带参数的函数,你可以认为它是一个普通的值; 但是在 Haskell 中,函数和值之间几乎没有区别。

更详细地说,函数 plus 是一个添加其参数的函数。
函数 plus 1 是一个将 1 添加到其参数的函数。
函数 plus 1 2 是一个将 1 添加到 2 的函数,它总是值 3