推断NonEmptyList的类型（String，List [Nothing]）？

Question

尝试使用scalaz.NonEmptyList ，我试过：

scala> import scalaz.NonEmptyList
import scalaz.NonEmptyList

scala> NonEmptyList("5", Nil)
res0: scalaz.NonEmptyList[java.io.Serializable] = NonEmptyList(5, List())

我错误地认为List是NonEmptyList#apply的第二个参数（它实际上是varargs ）。

但是，为什么java.io.Serializable显示为类型？

Answer 1

你已经构建了一个包含两个项目的列表，一个String和一个Nil 。 使得列表的类型是NonEmptyList[A]其中A是两者的最低公用超类型String和Nil ，这是类型Serializable 。 顺便说一下：同样的事情发生在scala的正常List： List("5",Nil)