scala - 如何定义接受柯里化(Currying)函数参数的函数？

Question

以下fn2编译失败，

def fn(x: Int)(y: Int) = x + y
def fn2(f: ((Int)(Int)) => Int) = f
fn2(fn)(1)(2) // expected = 3

如何定义 fn2接受 fn ?

Answer 1

它应该如下:

scala> def fn2(f: Int => Int => Int) = f
fn2: (f: Int => (Int => Int))Int => (Int => Int)

scala> fn2(fn)(1)(2)
res5: Int = 3

(Int)(Int) => Int不正确 - 您应该使用 Int => Int => Int (就像在 Haskell 中一样)，而不是。实际上，柯里化(Currying)函数需要 Int并返回 Int => Int功能。

附言您也可以使用 fn2(fn _)(1)(2) , 作为传递 fn在前面的例子中只是 eta-expansion 的一种简短形式，见 The differences between underscore usage in these scala's methods .