斯卡拉〜>（代字號大於）運算符

Question

我有以下的斯卡拉類定義（在本文中），造型類：

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

有人可以解釋我是什麼「〜>」是指在類別類型參數，並在方法返回類型？ 還是直接向我解釋它的資源...... 我是新來斯卡拉（從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] 
}