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

Question

在Scala中,通用类,如Future,Option和List一切有方法map和flatMap.据我所知,他们都像Haskell中的Functors.

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

有没有人有这个想法？

Answer 1

这种特质会怎样？请记住,fmap仿函数由一个函数决定,该函数将常规函数提升到一个作用于"函数"值的函数(或者,将常规函数应用于仿函数内容).我能想到的最接近的是

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发布计划没有关系等等.只要看看在GHC中进行Monad扩展需要多长时间Applicative!