function - 为什么命名函数的类型与scala中的匿名函数不同

Question

在 scala 中，命名函数定义为：

scala> def addOne(x: Int): Int = x+1
addOne: (x: Int)Int

scala> :type addOne
(x: Int)Int

还有一个匿名的：

scala> val addOne = (x:Int) => x+1
addOne: Int => Int = <function1>

scala> :type addOne
Int => Int

为什么他们的类型看起来不同？

为什么不能将命名函数作为参数传递给另一个函数？

不应该从类型和一阶行为的角度统一对待吗？

Answer 1

def addOne(x: Int): Int不是 scala 中的函数。这是某个对象的方法。

类似的函数是具有 methodval addOne = (x:Int) => x+1类型的对象FunctionN（在这种情况下Function1）apply。

可以在 scala 中将方法用作函数 - 编译器可以从方法创建函数，例如：

scala> List(1, 2, 3).map((1).+) // or just `1+`
res0: List[Int] = List(2, 3, 4)

在这种情况下+，对象的方法1被用作函数x => (1).+(x)。

scala> List(1, 2, 3).foreach(println)
1
2
3

println对象的方法Predef用作函数s => Predef.println(s)。

自版本以来2.10，您不能:type在方法上使用：

scala> def addOne(x: Int): Int = x+1
addOne: (x: Int)Int

scala> :type addOne
<console>:9: error: missing arguments for method addOne;
follow this method with `_' if you want to treat it as a partially applied function
       addOne
       ^