具有两个类型参数（即 F[A,B] 等于 A F B）的泛型合成糖记录在哪里？答案

【问题标题】：Where is synthetic sugar for generics with two type parameters (ie. that F[A,B] is equal to A F B) documented?具有两个类型参数（即 F[A,B] 等于 A F B）的泛型合成糖记录在哪里？
【发布时间】：2016-06-22 23:07:54
【问题描述】：

我正在学习 Scala，我发现如果我有课：

class Foo[A, B]

然后我可以开始将其称为A Foo B 而不是Foo[A,B]，如下所示：

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

我在学习<:< 类时发现了它，但没有人提到这怎么可能这样写下来，我也找不到任何有关此的文档。我在哪里可以找到这样的记录？

我看到了有关合成糖实例的问题，其中包含我的发现，但这也只是一个发现。我想知道在 Scala 文档中哪里可以找到源代码。

提问题：What are all the instances of syntactic sugar in Scala?

【问题讨论】：

标签： scala

【解决方案1】：

您正在寻找中缀类型，来自SLS 3.2.8：

中缀类型T1 op T2 由一个中缀运算符op 组成，该运算符应用于T1 和T2 两种类型操作数。该类型等效于类型应用程序op[T1, T2]。中缀运算符op 可以是任意标识符。

【讨论】：