Scala中的Currying示例

Question

以下是currying的一个很好的例子吗？

def sum(a: Int, b: Int) : (Int => Int) = {
    def go(a: Int) : Int = {
        a + b;
    }
    go
}

我一半了解下面的结果,但我怎么能用sum()咖喱的方式写(或者我应该怎么写)呢？

scala> sum(3,4) res0: Int => Int = <function1>
scala> sum(3,4).apply(2) res1: Int = 6
scala> sum(3,4).apply(3) res2: Int = 7

Answer 1

在Scala中引入了Currying机制以支持类型推断.例如foldLeft标准库中的函数:

def foldLeft[B](z: B)(op: (B, A) => B): B

没有currying你必须明确提供类型:

def foldLeft[B](z: B, op: (B, A) => B): B
List("").foldLeft(0, (b: Int, a: String) => a + b.length)
List("").foldLeft[Int](0, _ + _.length)

编写curried函数有三种方法:

1)以currying形式书写:

def sum(a: Int)(b: Int) = a + b

这只是语法糖:

def sum(a: Int): Int => Int = b => a + b

2)调用curried函数对象(sum _).curried并检查类型:

sum: (a: Int, b: Int)Int
res10: Int => (Int => Int) = <function1>

在您的示例中,您可以使用Scala类型推断来减少代码量并更改代码:

def sum(a: Int, b: Int) : (Int => Int) = {
    def go(a: Int) : Int = {
        a + b;
    }
    go
}

成:

def sum(a: Int, b: Int) : (Int => Int) = c => a + b + c

在语义上这些是相同的,因为你明确提供了返回类型,因此Scala知道你将返回一个函数,它接受一个Int参数并返回一个Int

也谈curring一个更完整的答案给出的返璞词