型.记录是命名的域（field）的集合。记录类型（types of records）的子类型化包括宽度与深度两种方式。
函数类型.对于函数类型T → T，其子类型为S → S，则T <: S且S <: T。参数类型S → S为逆变，返回类型为协变。 允许副作用的语言，如大部分面向对象语言，子类型化还不足以保证安全在另一个上下文中使用。行为子类型化要求保持不变。可变引用（mutable reference）的子类型化类似于函数参数与返回值的处理。只写引用是逆变的；只读引用是