首页 文章

较高的kinded类型与泛型

提问于
浏览 次
4

我正在阅读Scala中更高级的类型，我不能围绕下划线的使用 .

例如：

trait Functor[F[_]] {
  def map[A, B](fa: F[A])(f: A => B) : F[B]
}

val listFunctor = new Functor[List] {
  override def map[A, B](fa: List[A])(f: A => B) = fa.map(f)
}

listFunctor.map(List(1,2,3))(_ + 3)

如果我在特征中使用参数化类型A，我会得到相同的结果：

trait Functor2[F[A]] {
  def map[A, B](fa: F[A])(f: A => B) : F[B]
}

val listFunctor2 = new Functor2[List] {
  override def map[A, B](fa: List[A])(f: A => B) = fa.map(f)
}

listFunctor2.map(List(1,2,3))(_ + 3)

这两个例子之间有显着差异吗？

scala higher-kinded-types

1 回答

  • 4

    这两种方式之间没有区别，表达了 Functor2 在类型构造函数上的参数化 . 如果您注意到，在后一种情况下， A 只是一个占位符，因为它尚未在其他地方声明 .

    我通常更喜欢使用 F[_] 语法，因为它澄清了我们想要一个类型构造函数，并且我们在类中引用的占位符和类型之间的命名中没有意外重叠：在后一种情况下，即使它们碰巧引用了相同的类型参数，构造函数签名中的 A 与 map 方法签名中的 A 之间没有强制约束，这也可能导致关于两个 A 的性质以及它们如何相互关联的一些混淆 .

    回复于

相关问题