在不带方括号的scala中声明一个通用类

Question

阅读本文时，我使用以下语法：

implicit val slaveCanRead: Slave HasPrivilege Read = null

作者说：

另外，请不要Slave HasPrivilege Read仅此而已HasPrivilege[Slave, Read]

将示例保留在基本的scala中，示例也可能是

val foo: Map[String, Long] = Map()
val bar: String Map Long = Map()

我正在寻找一些可以解释这种语法但找不到任何语法的文档/文章。有人可以指出允许使用此语法的语言功能吗？

Answer 1

真的和一样简单T1 TCon T2 = TCon[T1, T2]。这是语言规范的3.2.8节。

InfixType ::= CompoundType {id [nl] CompoundType}

如果infix类型以:它的右关联结尾，否则，就象方法一样，它是左关联，并且混合固定性是没有括号的错误。