全所喊出的口号：这一口号的涵义，取决于语言形式化语义的类别。在指称语义学里，型别安全意谓着一个运算式的值具有良好型别τ，则表达式是一个属于τ的集合的真正的成员。1994年，Andrew Wright 和 Matthias Felleisen 以操作语义学定义的公式描述：何谓现今的标准定义，以及对于型别安全的检验技术。根据上述方法，型别安全是以程式语言语义中的两个性质所决定的：这些性质不是无中生有的，而是和程式语言所描述出来的语义相连系，而且各式各样的语言存在着可以此基准来充实的广大的空间。因为「