したがって最も単純な型システムでは、2つの型が互換であるかどうかは2つの型が同一である（または等価である）かどうか（等価性）という単純な問題に置き換えることができる。
因此在最简单的型别系统中，问题从两个型别是否相容，简化为两个型别是否相等（或等价）。