为什么 Scala 中没有 "Functor" 特征？

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 确实有类型 classes，也就是说，可以巧妙地使用 traits 和隐式参数来实现类型 class 模式：

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 提供的。

至于为什么标准库中没有这个 - 我不知道。可能type class 模式没有被立即发现，那个时候库已经形成了。可能只是因为这些有些高级的概念并不真正属于标准库。也许是别的。

Answer 2

我认为假设是任何有兴趣使用 Functor/Applicative/Monad/etc 的人。使用 Scalaz 可以更好地服务。不在标准库中意味着它可以更自由地发展，不受 Scala 发布时间表等的约束。Just look at how long it took to make Monad extend Applicative in GHC!

为什么 Scala 中没有 "Functor" 特征？

Why is there no "Functor" trait in Scala?

haskell

functional-programming

scala

functor