實現地圖

Question

工作更上FP in Scala的例子，我試圖實現Option特徵的map功能如下：

sealed trait MyOption[+A] { 
    def map[B](f: A => B): Option[B] = this match { 
     case Some(a) => Some(f(a)) 
     case _ => None 
    } 
} 

然而，編譯時錯誤顯示，如果我理解正確的話，我不是在Some(A)的情況下，模式匹配正確。使用模式匹配，我如何編寫第一個案例來獲得一些（A）值匹配？

>scalac MyOption.scala 
MyOption.scala:3: error: constructor cannot be instantiated to expected type; 
found : Some[A(in class Some)] 
required: MyOption[A(in trait MyOption)] 
       case Some(a) => Some(f(a)) 
        ^
MyOption.scala:3: error: not found: value a 
       case Some(a) => Some(f(a)) 
            ^
two errors found 

Answer 1

您試圖在其中斯卡拉提供的期權特徵的子類，而不是你自己的特點的子類方面的一些術語和無定義地圖。嘗試類似於：

sealed trait MyOption[+A] { 
    import MyOption._ 
    def map[B](f: A => B): MyOption[B] = this match { 
     case MySome(a) => MySome(f(a)) 
     case _ => MyNone 
    } 
} 

object MyOption { 
    case class MySome[+A](a: A) extends MyOption[A] 
    case object MyNone extends MyOption[Nothing] 
}