任何一直关注Tony Morris' blog的人和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
}
此外,已经声明该类型是单独存在的(即该类型的所有实现都是完全相同的)。我可以猜测证明两种类型的等价性,但真的不知道从哪里开始单一居住声明。如何证明这一点?
最佳答案
Option
类型为双重居住。它可以包含某些东西,也可以不包含某些东西。从fold
的签名可以清楚地看出这一点在第一个特征中,您只能:
- 返回申请结果
some
,如果您有A
类型的值坐着(你是Some
) - 返回您的
none
争论(你是None
)
任何给定的实现只能执行其中之一,而不会违反引用透明度。
所以我认为称其为“独居”是错误的。但是这些特征中的任何一个的任何实现都必须与这两种情况之一同构。
编辑
也就是说,我认为在不知道类型的构造函数的情况下,你无法真正描述类型的“居住性”。如果您要使用具有构造函数的实现来扩展这些选项特征之一,该构造函数采用 Tuple12[A]
,例如,您可以编写 13 个不同版本的 fold
.
关于scala - 如何证明两种类型的等价性以及签名是单一存在的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3622469/