推断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类型{ {1}}。顺便说一句：scala的正常List：List("5",Nil)

也是如此