洗練

Question

私はBの仕様で次のようしている考えてみましょう： -

flower <: FLOWER 
age <: AGE 
owner <: OWNER 
Type <: flower * age 
Buyer : owner <-> flower 

は、それが可能に続くように私は、洗練を作成するためです： -

flower <: FLOWER 
age <: AGE 
owner <: OWNER 
Type : Owner <-> flower * age 
Buyer : owner <-> flower 

Answer 1

いいえ、そうではありません可能なのは、洗練された変数の型は、仕様と同じ型を持たなければならないからです（ここのような仕様に同じ名前の変数がある場合）。