记忆体安全（就是限制从记忆体的某处，将任意的位元组合复制到另一处的能力）。例如，某个语言的实作具有若干型别 formula_1，假如存在若干适当长度的位元，且其不为 formula_1 的正统成员。若该语言允许把那些资料复制到 formula_1 型别的变数，那个语言就不是型别安全的，因为这些运算可将非 formula_1 型别的值zh:指派;zh-tw:指派;zh-cn:赋;给该变数。反过来说，若该语言型别不安全的程度，最高只到允许将任意整数用作为指标，显然它就不是记忆体安全的。大部分的静态型