隐式型别语言较完整的列表参见型别和隐式型别语言。术语推断型别（鸭子类型，duck typing）指的是动态型别在语言中的应用方式，它会「推断」一个数值的型别。看看型别标记检查是如何运作的，考虑下列假码范例：在这个范例中，（1）宣告x；（2）将整数值5代给x；（3）将字串值"hi"代给x。在主要的静态系统中，这个代码片断将会违反规则，因为（2）和（3）对 x所约束的型别相矛盾。相较之下，一个纯粹的动态型别系统允许上述程式的执行，因为型别标记附到"数值"上（不是"变数"）。在处理错误语句或运算式