，则可以从主体类型t具体化为int -> int。类型系统希望具有主体类型，因为它可以对表达式确定一种单一类型，该单一类型可演化为该表达式的所有可能类型。如果类型系统没有主体类型，则一个表达式可能有多个互不兼容的类型。类型推导倾向于推导主体类型。ML具有主体类型属性，ML表达式可以通过求出主体类型，该主体类型被算法用到。然而，一些ML的扩展，如，会令主体类型丧失（undecidable）。其他一些扩展，如Haskell的，也令主体类型丧失（destroy）。要么开发人员使用类型注解，要么编译器猜测类