式，经常可以在详细的前后文中暗示型别。例如，一个运算式codice_2可暗示浮点数型别；而codice_3则可暗示一个整数的链表；通常是一个阵列。
型别的型别."型别的型别"是一种种类。在型别程式设计中有明确的种类，如Haskell程式语言的"型别建构子"，在申请比较简单的型别之后，其返回一个简单的型别。例如，型别建构子"二选一"有这些种类"* -> * -> *"（"*"代表种类），而且它的申请"二选一字串整数"是一个简单的型别。然而，大多数程式语言的型别，是由编写者来暗示或"写