统没有主体类型，则一个表达式可能有多个互不兼容的类型。类型推导倾向于推导主体类型。ML具有主体类型属性，ML表达式可以通过求出主体类型，该主体类型被算法用到。然而，一些ML的扩展，如，会令主体类型丧失（undecidable）。其他一些扩展，如Haskell的，也令主体类型丧失（destroy）。要么开发人员使用类型注解，要么编译器猜测类型。主体类型与主体定型不同。主体定型意思是，对于表达式e，类型环境A和类型t为主体定型对，当且仅当对于任意的类型环境B和类型u（A、B有相同的变量），都可从(A,t