Scala ~>（波浪号大于）运算符

Question

我有以下 scala 类定义（在论文中找到），建模类别：

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

谁能解释一下 Category 类型参数和方法返回类型中的 '~>' 是什么意思？ 或将我引导到解释它的资源... 我是 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]
}

Answer 2

这在Akka streams 中也用作边缘运算符。