语言即为依存型别的。在动态型别中，经常在执行时期进行型别标记的检查，因为变数所约束的值，可经由执行路径获得不同的标记。在静态型别程式语言中，型别标记使用辨识联合型别表示。动态型别经常出现于脚本语言和RAD语言中。动态型别在解释型语言中极为普遍，编译语言则偏好无须执行时期标记的静态型别。对于型别和隐式型别语言较完整的列表参见型别和隐式型别语言。术语推断型别（鸭子类型，duck typing）指的是动态型别在语言中的应用方式，它会「推断」一个数值的型别。看看型别标记检查是如何运作的，考虑下列假码