任何一直关注Tony Morris 的博客和 scala 练习的人都会知道这两种类型签名是等价的:
trait MyOption1[A] {
//this is a catamorphism
def fold[B](some : A => B, none : => B) : B
}
和:
trait MyOption2[A] {
def map[B](f : A => B) : MyOption2[B]
def getOrElse[B >: A](none : => B) : B
}
此外,已经声明该类型是单独存在的(即该类型的所有实现都是完全等价的)。我可以猜测证明这两种类型的等价性,但真的不知道从哪里开始单居声明。如何证明这一点?