具有兩個類型參數（即F [A，B]等於AFB）的仿制葯的合成糖在哪里記錄？

Question

我正在學習Scala，發現如果我上課：

class Foo[A, B]

然后，我可以開始將其稱為A Foo B而不是Foo[A,B]如下所示：

var a: Int Foo Double = new (Int Foo Double)

我在學習<:<類時發現了它，但是沒有人提到如何將它寫下來，而且我找不到與此有關的任何文檔。 在哪里可以找到類似文檔的內容？

我見過有關合成糖實例的問題，它包含我的發現，但也只是一個發現。 我想知道在Scala文檔中可以找到源代碼。

Answer 1

您正在從SLS 3.2.8尋找Infix Types ：

前綴類型T1 op T2由一個前綴運算符op組成，該運算符適用於兩個類型的操作數T1和T2 。 該類型等效於類型應用程序op[T1, T2] 。 中綴運算符op可以是任意標識符。