Seq和Set的LUB

Question

我采用了Seq和Set：

的最小上界

scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

scala> lub( List (typeOf[Seq[_]], typeOf[Set[_]]) )
res12: reflect.runtime.universe.Type = 
             Iterable[Any] with Int with _$2 => Any forSome { type _$2 }

请帮我理解输出。我猜测Iterable是Set和Seq中父亲最少的父母。

但剩下的呢？

Answer 1

(Int with _$2) => Any forSome { type _$2 }部分来自于Function1（Set直接扩展，Seq扩展PartialFunction）。

具体来说，它是(A) => Boolean（由Set[A]扩展）和PartialFunction[Int, A]（由Seq[A]扩展）的LUB。

@ import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

@ lub(List(typeOf[Function1[_, Boolean]], typeOf[PartialFunction[Int, _]]))
res1: Type = _$1 with Int => Any forSome { type _$1 }

，其中

Int with _是Int和_的GLB（因为Function1的第一个类型参数是逆变的）

和

Any是_和Boolean的LUB。