有没有办法在 Scala 中扩展存在类型量词的范围，以说服类型检查器两个变量具有相同的类型

Question

请考虑以下代码片段：

case class Foo[A](a:A)
case class Bar[A](a:A)
def f[B](foo:Foo[Seq[B]], bar:Bar[Seq[B]]) = foo.a ++ bar.a
val s : Seq[T] forSome {type T} = Seq(1, 2, 3)
f(Foo(s), Bar(s))

最后一行无法进行类型检查，因为Foo(s)有类型 Foo[Seq[T]] forSome {type T} 而Bar(s)有类型 Bar[Seq[T]] forSome {type T} ，即每个行都有自己的存在量词。

有什么办法吗？ 实际上，我在编译时所知道的s就是它具有这样的存在类型。 我怎样才能强制Foo(s)和Bar(s)落入单个存在量词的范围？

这有意义吗？ 我对 Scala 和花哨的类型很陌生。

Answer 1

需要明确的是，

val s : Seq[T] forSome {type T} = Seq(1, 2, 3)

相当于

val s: Seq[_] = Seq(1, 2, 3)

我认为这个问题的答案是否定的。需要使用范围内的类型参数/类型成员或具体类型。

执行此操作的一种方法是使用标记类型：http://etorreborre.blogspot.com/2011/11/practical-uses-for-unboxed-tagged-types.html

type Tagged[U] = { type Tag = U }
type @@[T, U] = T with Tagged[U]
def tag[A, B](a: A): @@[A, B] = a.asInstanceOf[@@[A, B]]
trait ThisExistsAtCompileTime
case class Foo[A](a:A)
case class Bar[A](a:A)
def f[B](foo:Foo[Seq[B]], bar:Bar[Seq[B]]) = foo.a ++ bar.a
val s : Seq[@@[T, ThisExistsAtCompileTime] forSome {type T}] = Seq(1, 2, 3) map { x => tag[Any, ThisExistsAtCompileTime](x) }
f(Foo(s), Bar(s))

Answer 2

我意识到可以通过一些重构来做到这一点：

case class Foo[A](a:A)
case class Bar[A](a:A)
def f[B](foo:Foo[Seq[B]], bar:Bar[Seq[B]]) = foo.a ++ bar.a
def g[B](s1:Seq[B], s2:Seq[B]) = f(Foo(s1), Bar(s2))
val s : Seq[T] forSome {type T} = Seq(1, 2, 3)
g(s)

本质上，我将对f的调用包装在另一个函数g中，该函数保证两个序列具有相同的类型。