on::::函数类型.对于函数类型T → T，其子类型为S → S，则T <: S且S <: T。参数类型S → S为逆变，返回类型为协变。 允许副作用的语言，如大部分面向对象语言，子类型化还不足以保证安全在另一个上下文中使用。行为子类型化要求保持不变。可变引用（mutable reference）的子类型化类似于函数参数与返回值的处理。只写引用是逆变的；只读引用是协变的；可变引用是不变的。 
类型强制.在强制子类型化系统（coercive subtyping syste