为什么Scala中没有“Functor”特征？

发布时间：2020-12-16 19:21:05 所属栏目：安全来源：网络整理

导读：在 Scala中,Future,Option和List等泛型类都有方法map和flatMap.据我所知,他们都像Haskell中的 Functors. 我只是想知道为什么在Scala中没有一个名为Functor的特征(接口). 有没有人有这个想法？解决方法这样的特质会怎样？请记住,仿函数由fmap函数确定,该函

在 Scala中,Future,Option和List等泛型类都有方法map和flatMap.据我所知,他们都像Haskell中的 Functors.

我只是想知道为什么在Scala中没有一个名为Functor的特征(接口).

有没有人有这个想法？

解决方法

这样的特质会怎样？请记住,仿函数由fmap函数确定,该函数将常规函数提升为对“functorial”值起作用的函数(或者,将常规函数应用于仿函数内容).我能想到的最接近的是

trait Functor[T] {
  type Self[U] <: Functor[U]
  def fmap[U](f: T => U): Self[U]
}

这样的定义并不真正有用且相对复杂.特征没有必要的灵活性来抽象像仿函数这样的高等概念.

但是,Scala确实有类型类,也就是说,可以巧妙地使用traits和隐式参数来实现类型类模式：

trait Functor[F[_]] {
  def fmap[T,U](f: T => U)(v: F[T]): F[U]
}

implicit object OptionFunctor extends Functor[Option] {
  def fmap[T,U](f: T => U)(v: Option[T]): Option[U] = v match {
    case Some(r) => Some(f(r))
    case None => None
  }
}

def doSomething[F[_]: Functor](f1: F[Int],f2: F[String]): F[Long] = ???  // whatever
// equivalent to:
// doSomething :: Functor f => f Int -> f String -> f Long
// in Haskell

这正是070??00提供的.

至于为什么标准库中没有这个 – 我不知道.也许类型类模式没有立即被发现,并且那个库已经形成了.也许这只是因为这些是一些不属于标准库的高级概念.也许别的东西.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!