Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/entity-framework/4.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Scala 推断非空列表的类型(字符串,列表[Nothing])?_Scala_Scalaz - Fatal编程技术网

Scala 推断非空列表的类型(字符串,列表[Nothing])?

Scala 推断非空列表的类型(字符串,列表[Nothing])?,scala,scalaz,Scala,Scalaz,在试验中,我尝试: scala> import scalaz.NonEmptyList import scalaz.NonEmptyList scala> NonEmptyList("5", Nil) res0: scalaz.NonEmptyList[java.io.Serializable] = NonEmptyList(5, List()) 我错误地认为List是NonEmptyList#apply的第二个参数(实际上是) 但是,为什么java.io.Serializabl

在试验中,我尝试:

scala> import scalaz.NonEmptyList
import scalaz.NonEmptyList

scala> NonEmptyList("5", Nil)
res0: scalaz.NonEmptyList[java.io.Serializable] = NonEmptyList(5, List())
我错误地认为
List
NonEmptyList#apply
的第二个参数(实际上是)


但是,为什么
java.io.Serializable
显示为类型?

您已经构建了一个包含两项的列表,一个
字符串和一个
Nil
。因此,该列表的类型是
NonEmptyList[A]
,其中
A
String
Nil
的最低公共超类型,这两种超类型都是
可序列化的类型。顺便说一句:scala的普通列表也会发生同样的情况:
List(“5”,Nil)