记。在静态型别程式语言中，型别标记使用辨识联合型别表示。动态型别经常出现于脚本语言和RAD语言中。动态型别在解释型语言中极为普遍，编译语言则偏好无须执行时期标记的静态型别。对于型别和隐式型别语言较完整的列表参见型别和隐式型别语言。术语推断型别（鸭子类型，duck typing）指的是动态型别在语言中的应用方式，它会「推断」一个数值的型别。看看型别标记检查是如何运作的，考虑下列假码范例：在这个范例中，（1）宣告x；（2）将整数值5代给x；（3）将字串值"hi"代给x。在主要的静态系统中，这个代