在文档中引用 - ＆gt;＆gt;＆gt; [_，_]和〜＆gt;

Question

我在哪里可以找到Lang规范或任何博客中的参考资料如何阅读这些结构：

trait GenericFunctor[->>[_, _ ], ->>>[_, _ ], F[_]] { 
  def fmap[A, B](f: A ->> B): F[A] ->>> F[B]
}

或

trait Category[~>[_, _ ]] {
  def compose[A, B, C](f: B ~> C)(g: A ~> B): A ~> C 
  def id[A]: A ~> A 
}

如果是类型名称 - 则代码F[A] ->>> F[B]不应该是可编译的，但它是

Answer 1

trait GenericFunctor[->>[_, _], ->>>[_, _], F[_]] { 
  def fmap[A, B](f: A ->> B): F[A] ->>> F[B]
}

Scala允许标识符中的符号。让我们用字母数字替换符号标识符。

trait GenericFunctor[M[_, _], N[_, _], F[_]] { 
  def fmap[A, B](f: A M B): F[A] N F[B]
}

Scala为二进制类型构造函数提供中缀类型表示法。换句话说，A M B与M[A, B]相同。让我们在没有糖的情况下重写上面的代码。

trait GenericFunctor[M[_, _], N[_, _], F[_]] { 
  def fmap[A, B](f: M[A, B]): N[F[A], F[B]]
}

类似地，您问题中的Category定义可以改写为：

trait Category[F[_, _]] {
  def compose[A, B, C](f: F[B, C])(g: F[A, B]): F[A, C]
  def id[A]: F[A, A] 
}

现在是否清楚？