特征体内的Scala类型匹配函数

Question

我是 Scala 新手，正在阅读这本书 (Function Programming in Scala)。其中一项练习涉及复制Option 特征及其功能。但是，我在 REPL 中编译我的解决方案时遇到问题。

sealed trait Nullable[+A] {

    def get[B >: A](default: => B) : B = this match {
        case Value(v) => v
        case Null => default
    }
}
case class Value[+A](value: A) extends Nullable[A]
case object Null extends Nullable[Nothing]

REPL 错误详情：

error: constructor cannot be instantiated to expected type;
found   : Value[A(in class Value)]
required: Nullable[A(in trait Nullable)]
             case Value(v) => v

error: pattern type is incompatible with expected type;
found   : Null.type
required: Nullable[A]
             case Null => default

基于这些错误，我有一种挥之不去的感觉，即编译器无法推断出 this（被模式匹配）的类型是 Nullable。

我已经在这个在线Scala utility 上尝试过这段代码，它似乎可以编译和运行。我能看到的唯一区别是在线工具使用的是 Scala 版本 2.10.3 而我运行的是 2.11.7

所以我不确定这是环境问题还是我需要在这里帮助 Scala 编译器。我还尝试从本书作者那里编译answer，但我得到了同样的错误。

任何帮助将不胜感激。

Answer 1

发布答案以防其他人遇到类似问题。

使用 REPL :paste 命令加载 .scala 文件，而不是 :load 命令。

感谢@noah 和@jwvh 的帮助。