scala - 这个用于指定类型参数的 Scala 中缀语法的名称是什么？

Question

前几天我注意到这个有趣的语法，用于为 Scala 类指定类型参数。

scala> class X[T, U]
defined class X

scala> new (Int X Int)
res1: X[Int,Int] = X@856447

这种语法有名称吗？它有什么好的用例？

Answer 1

它只是二进制类型构造函数的中缀应用。与方法的中缀应用一样，当类型构造函数或方法的名称包含标点符号时，它更常用。 2.8 库中的示例包括 <:< , <%<和 =:= (见 scala.Predef)。