评估柯里化函数

Question

这个柯里化函数接受一个有两个参数的函数并将其转换为一个有1个参数的函数：

def hotcurry[A, B, C](f: (A, B) => C): A => (B => C) =
  a => b => f(a, b)                             //> hotcurry: [A, B, C](f: (A, B) => C)A => (B => C)

def f(a : Int , b : Int) = a + b          //> f: (a: Int, b: Int)Int

hotcurry(f)                               //> res0: Int => (Int => Int) = <function1>

如何评估返回函数res0: Int => (Int => Int) = <function1>？

我试过fu(2) //> res0: Int => Int = <function1>

这个函数有什么好的用例？

Answer 1

一次只传递一个参数：

val g: Int => (Int => Int) = (a: Int) => (b: Int) => a + b
g(3)(4)
// res4: Int = 7

g 接受一个Int，并返回一个函数Int => Int。然后该函数接受Int 并返回Int。因此，您将参数传递给第一个函数，然后将一个参数传递给返回的函数。

在你的情况下，只需这样做：

val g = hotcurry(f)
g(3)(4)

如果您有一个二参数函数，您可以使用它，稍后您想将其用作一参数函数，提前打包一个参数。例如，map 接受一个参数Int => Int，所以你可以这样做：

val add = hotcurry(f)
val add3 = add(3)
Vector(1, 2, 3).map(add3)
// Vector(4, 5, 6)