高阶函数(uncurry，curry)

Question

我正在使用这些功能：

cplus a b = a+b   

ucplus(a, b) = a+b

...to做了这个实验：

uncurry cplus=\(a, b) -> cplus a b  

(a,b)是函数cplus的参数，所以方程的右边实际上是执行cplus a b函数。

为什么uncurry cplus等于方程的右边？

Answer 1

uncurry的定义如下：

uncurry f = \(a,b) -> f a b

当您将函数uncurry应用于函数f时，它会返回一个类似于f的函数，但是您将得到一个接受元组的函数，而不是“curried”函数。

uncurry的类型签名是(a -> (b -> c)) -> ((a, b) -> c)。也就是说，它接受一个a -> (b -> c)类型的函数，并返回一个类型为(a, b) -> c的函数。

cplus是一个匆匆的函数--也就是说，它是一个返回另一个函数的函数。cplus的仓促形式可以写成：

cplus = (\a -> (\b -> a + b))

但在大多数函数式语言中，语法cplus a b = a+b是等价的。