高阶函数（不连续，咖喱）

Question

我正在使用这些功能：

cplus a b = a+b   

ucplus(a, b) = a+b

......做这个实验：

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是 curried函数 - 这意味着，它是一个返回另一个函数的函数。可以写出cplus的curry形式：

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

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