Scala ~>(波形符大于)运算符

Question

我有以下 scala 类定义(在论文中找到)，建模类别:

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

有人可以解释一下“~>”在类别类型参数和方法返回类型中的含义吗？或者引导我找到解释它的资源......我是 Scala 新手(来自 Java)，所以请原谅我，如果这是 scala 用户应该知道的事情......预先感谢您

Answer 1

~> 只是 Category 类型参数的占位符名称。就像 class Option[T] 中的 T 一样。

此外，Scala 语法允许您将 B ~> C 编写为 ~>[B, C] 的简写形式。

如果你重命名它，也许事情会变得更清楚:

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