scala – 为什么Functor是一个更高级的类型
|
我有以下仿函数定义
trait Functor[F[_]] {
def map[A,B](fa: F[A])(f: A => B): F[B]
}
object ListFunctor extends Functor[List] { //
def map[A,B](f: A => B)(data: List[A]): List[B] = data map f
}
在scala中,很常见的是F是一个集合类型,例如List,Seq,Option,我会问为什么Functor必须是更高的kinded类型,类型参数F真正意味着什么？ 解决方法
Functor必须更高级,因为我们想要抽象一个类型参数,它本身采用一个类型参数(我们称之为类型构造函数,将Functor [List]视为具体示例). Functor处理的类型类型称为“一阶种类”,其类型为* – > *.当您查看Functor的具体实例时,您会看到我们不提供内部类型参数.例如,当您为示例中的List定义仿函数时,将其定义为Functor [List].我们不是为正确的类型(即List [Int])创建一个仿函数,而是创建List中包含的任何类型.这种抽象带来了巨大的力量,因为你可以将它用于任何正确的List类型(类型*),无论是List [String],List [Int]等. 我总是喜欢参考Adriaan Moore在他的论文“更高级的Genrics”中绘制的图像：
Fs的唯一目的是与Functor的实施者定义合同.通过F的签名,我们可以推断出Functor期望的类型.当我们看到它有一个“占位符”([_])时,按照惯例,我们知道这意味着F应该采用单个类型参数.如果我们考虑采用单个类型参数的所有类型,我们可以看到有很多,Try,Future,Task等. 有关更高通道类型的更广泛解释,请参阅What is a higher kinded type in Scala? （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
