スカラ - ネストされたタイプのキーワード

Question

私は、アッカのソースコードを経由して、誰かがここで何が起こっているかを私に説明できます私は、次の

type Repr[+O] <: FlowOps[O, Mat] { 
    type Repr[+OO] = FlowOps.this.Repr[OO] 
    type Closed = FlowOps.this.Closed 
} 
type Closed 

に出くわしました？

Answer 1

FlowOps[O, Mat] { 
    type Repr[+OO] = FlowOps.this.Repr[OO] 
    type Closed = FlowOps.this.Closed 
} 

は、compound type with a refinementです。すなわち、FlowOps[O, Mat]はそれ自体が任意のReprおよびClosedタイプのメンバーを有することができ、ここでは特定のものが必要です。この型は、型メンバーtype Repr[+O]の上限として使用されます。