Question

在Scala中，Future，Option和List等通用类都包含方法map和flatMap。据我所知，所有这些都像Haskell中的Functors。

我只是想知道为什么在Scala中没有一个名为Functor的特征（界面）..

有没有人有这方面的想法？

Answer 1

这种特质会如何？请记住，仿函数由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

这正是scalaz所提供的。

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

Answer 2

我认为假设是有兴趣使用Functor / Applicative / Monad /等的人。使用Scalaz可以更好地服务。不在标准库中意味着它可以更自由地发展，不会与Scala发布计划等相关联。Just look at how long it took to make Monad extend Applicative in GHC!

为什么没有＆＃34; Functor＆＃34;斯卡拉的特质？

2 个答案: