指派;zh-cn:赋;}-给该变数。反过来说，若该语言型别不安全的程度，最高只到允许将任意整数用作为指标，显然它就不是记忆体安全的。大部分的静态型别语言，都提供了一定程度的型别安全，而且其严格性更胜于记忆体的安全性。因其型别系统强迫程式员以适当的抽象资料型别定义来使用，即使对记忆体安全或任何可能的灾难而言，并不需如此严格的要求。
定义.Robin Milner 对于型别安全所喊出的口号：这一口号的涵义，取决于语言形式化语义的类别。在指称语义学里，型别安全意谓着一个运算式的值具