相关疑难解决方法(0)

Scala生活中的一个可悲事实是,如果你实例化一个List [Int],你可以验证你的实例是一个List,你可以验证它的任何单个元素是一个Int,但不是它是一个List [ Int],可以很容易地验证:

scala> List(1,2,3) match {
     | case l : List[String] => println("A list of strings?!")
     | case _ => println("Ok")
     | }
warning: there were unchecked warnings; re-run with -unchecked for details
A list of strings?!

-unchecked选项将责任直接归咎于类型擦除:

scala>  List(1,2,3) match {
     |  case l : List[String] => println("A list of strings?!")
     |  case _ => println("Ok")
     |  }
<console>:6: warning: non variable type-argument String in type pattern is unchecked since it is eliminated by erasure
        case l …

Scala中缺少具体化的泛型是最让我烦恼的事情,因为如果不使用复杂的结构就无法实现简单的事情.

Kotlin和Ceylon都支持具体化的泛型,因此它绝对有可能在JVM之上这样做.在过去,据说Scala无法在没有JVM变更的情况下支持它们,但现在传闻 Scala 2.10 对于具体化的支持有限.所以我的问题是:

• 我们可以期待Scala 2.10中的具体化,我是否能够多次实现一般特征？这有多有限？
• 如果Scala 2.10的具体证明比Kotlin和Ceylon更有限.这是为什么 ？

Scala(至少在JVM上)使用类型擦除来实现Java兼容性.这个功能被广泛 持有 ,以 吸.在JVM上解决这个问题很困难.

与JVM情况相反,.NET支持reified泛型.Scala的.NET实现是否使用它们？如果没有,可能,或者使用具体原因会出现什么问题？