list - Scala 列表错误

Question

在学习了大量 Java 和一些 Haskell 之后，我想看看 Scala。从下面的代码中，我收到此错误消息
type mismatch; found : List[Nothing] => Option[Nothing] required: List[Int] => Option[Nothing]
我不知道我做错了什么:

object MyFirstScalaObject {

  def main(args: Array[String]) {
      lazy val testValues:List[List[Int]] = List((1 to 10).toList, null, List());

      println(  testFunction(last, testValues));
  }

  def testFunction[I, O](f : I => O, inputs : List[I]):
      List[(I, O)] = 
    inputs.zip(inputs.map(f));

  def last[A](xs:List[A]):Option[A] = xs match {
    case x::Nil => Some(x);
    case _::xs => last(xs);
    case _ => None;
  }

}

感谢您的任何建议。

干杯，

Answer 1

由于scala中类型推断的工作方式，无法确定last的类型参数是什么。必须是，所以它必须采取过于保守的后备猜测它是 Nothing .

您可以在调用 testFunction 时明确指定类型:

testFunction[List[Int],Option[Int](last, testValues)

或者您可以更完整地记录 testFunction 中类型参数之间的关系。声明，它将为类型推断器提供更多信息:

def testFunction[A, I[_], O[_]](f : I[A] => O[A], inputs : List[I[A]]): List[(I[A], O[A])]

这明确说明 I 和 O 是类型构造函数(kind * -> *)，现在 f 的输入/输出类型更加具体，推理器可以正确推断最后一个函数的 A 参数必须是 Int。