地图不需要在Scala中推断出codomain？

Question

以下Scala代码:

val l = List((1,2),(2,3),(3,4))
def fun1(t1: Int,t2: Int) = (t1+1,t2)
l map fun1

给出错误:

Error:(3, 8) type mismatch;
 found   : (Int, Int) => (Int, Int)
 required: ((Int, Int)) => ?
l map fun1;}
      ^

我想知道为什么map必须有一个codomain没有推断类型的函数...

Answer 1

这不是在陪域,这是错误的函数arity.The方法map愿与单参数的函数,即使这种说法是一个元组:

((Int, Int)) => (Int, Int) // Function[(Int, Int), (Int, Int)]

但是你传递的函数有两个参数(两个int):

(Int, Int) => (Int, Int)   // Function2[Int, Int, (Int, Int)]

这样做:

def fun1(t: (Int, Int)) = (t._1+1, t._2)
l map fun1

或这个:

def fun1(t1: Int,t2: Int) = (t1+1,t2)
l map { case (x, y) => fun1(x, y) }