关于咖喱功能的问题

Question

只是想知道Currying的问题

如果我们已经定义了curried函数curriedNewSum

scala> def curriedNewSum(x : Int)(y : Int) = x + y
curriedNewSum: (x: Int)(y: Int)Int

scala> curriedNewSum(10)(20)
res5: Int = 30

scala> var tenPlus = curriedNewSum(10)_
tenPlus: (Int) => Int = <function1>

scala> tenPlus(20)
res6: Int = 30

scala> var plusTen = curriedNewSum(_)(20)
<console>:6: error: missing parameter type for expanded function ((x$1) => curri
edNewSum(x$1)(20))
       var plusTen = curriedNewSum(_)(20)
                                   ^

那么为什么curriedNewSum(10)_ works&curriedNewSum(_)(10)不是吗？

Answer 1

我不是100%确定究竟是什么问题,但我强烈怀疑这不是你认为的那样.

比如试试吧

var plusTen = curriedNewSum(_)

你会看到它会返回一个Function1[Int, Function1[Int, Int]].现在试试这个:

var plusTen = (curriedNewSum(_))(10)

看到它的工作!嗯,这转化为:

var plusTen = ((x: Int) => curriedNewSum(x))(10)

而另一种方式转化为:

var plusTen = (x) => curriedNewSum(x)(10)

关于函数如何扩展的一些东西搞砸了类型推断.