小编And*_*rea的帖子

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

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

谁能解释一下'type>参数中的'〜>'是什么意思,并且在方法返回类型中？或者引导我找到解释它的资源......我是Scala的新手(来自Java),请原谅我,如果这是scala用户应该知道的事情...提前谢谢你