rence）的子类型化类似于函数参数与返回值的处理。只写引用是逆变的；只读引用是协变的；可变引用是不变的。 
类型强制.在强制子类型化系统（coercive subtyping system），子类型通过从子类型到超类型的隐式类型转换函数得以定义。对于每个子类型关系 ("S" <: "T")，一个强制关系"coerce": "S" → "T"，使得任何对象"s" 为类型"S"，可以视作对象"coerce"("s")具有类型"T"。类型强制函数可以复合：如果"S" <: "T"且"T