行时的错误。典型的动态型别实作，会以型别标记维持程式所有数值的「标记」，并在运算任何数值之前检查标记。例如：在这个程式片断中，（1）将数值5约束给x；（2）将数值"hi"约束给y；以及（3）尝试将x加到y。在动态型别语言中，约束给x的值会是一对（整数, 5），且约束给y的值会是一对（字串, "hi"）。当这个程式尝试执行第3行时，语言对型别标记整数和字串进行检查，如果这两个型别的+（加法）运算尚未定义，就会发出一个错误。某些静态语言有一个「后门」，在这些程式语言中，能够编写一些不被静态型别所检查