class A extends B with C with D with E
应做类似如下形式解读:
class A extends (B with C with D with E)
T1 with T2 with T3 …
这种形式的类型称为复合类型(compound type)或者也叫交集类型(intersection type)。
也可以通过type的方式声明符合类型
type X = X1 with X2
class A extends B with C with D with E
应做类似如下形式解读:
class A extends (B with C with D with E)
T1 with T2 with T3 …
这种形式的类型称为复合类型(compound type)或者也叫交集类型(intersection type)。
也可以通过type的方式声明符合类型
type X = X1 with X2