Scalaz `F[_]：Applicative`约束是如何暗示使用隐式参数的？

Question

我很难理解Scalaz中Traverse特性中的以下函数定义：

def traverse[F[_] : Applicative, A, B](f: A => F[B], t: T[A]): F[T[B]]

我不明白的部分是F[_] : Applicative。

现在，让我们看看Applicative是什么：

trait Applicative[Z[_]] extends Pointed[Z] with Apply[Z] {
  override def fmap[A, B](fa: Z[A], f: A => B): Z[B] = this(pure(f), fa)
  override def apply[A, B](f: Z[A => B], a: Z[A]): Z[B] = liftA2(f, a, (_:A => B)(_: A))
  def liftA2[A, B, C](a: Z[A], b: Z[B], f: (A, B) => C): Z[C] = apply(fmap(a, f.curried), b)
}

在这里，要使traverse用于某些类型的F，需要在作用域中引入Applicative[F]类型的隐式对象。

我想了解几件事：

1. Wat F[_] : Applicative的确切意思是？
2. F[_]为什么与Applicative有关？我们需要Applicative[F]，而不是Fsomething扩展应用程序对吗？
3. 为什么该方法使用Applicative[F]类型的隐式值而不声明隐式参数？

Answer 1

我认为这三个问题都可以用这个表示法来回答：

def traverse[F[_] : Applicative, A, B](f: A => F[B], t: T[A]): F[T[B]]

相当于：

def traverse[F[_], A, B](f: A => F[B], t: T[A])(implicit $ev: Applicative[F]): F[T[B]]

第一种表示法称为 for F[_]。