Scala子类模式匹配

ciri 发表于 Dev

特征

我正在尝试运行《 Scala中的函数编程》一书中的代码，该书似乎是为旧版本的Scala（从此处下载）编写的。tmp.scala：

sealed trait Option[+A]
case class Some[+A](get: A) extends Option[A] 
case object None extends Option[Nothing]

trait Option[+A] {
    /* returns None if None, or function applied to the some object */
    def map[B](f: A => B): Option[B] = this match {
      case None => None
      case Some(a) => Some(f(a))
    }
}

引发的错误是：

$ scala
Welcome to Scala 2.12.0-20161021-070700-8684ae8 (OpenJDK 64-Bit Server VM, Java 1.8.0_112).
scala> :load tmp.scala

tmp.scala:17: error: pattern type is incompatible with expected type;
 found   : None.type
 required: Option[A]
             case None => None
                  ^
tmp.scala:17: error: type mismatch;
 found   : None.type
 required: Option[B]
             case None => None
                          ^
tmp.scala:18: error: constructor cannot be instantiated to expected type;
 found   : Some[A(in class Some)]
 required: Option[A(in trait Option)]
             case Some(a) => Some(f(a))
                  ^
tmp.scala:18: error: type mismatch;
 found   : Some[B]
 required: Option[B]
             case Some(a) => Some(f(a))
                                 ^

我对此进行了各种代码转换，但均无济于事，由于语法过时，似乎无法正确检测到子类？

被骗

使用:paste file.scala来粘贴内容，而不是:load file.scala来解释每一行。

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。