型别安全

在计算机科学中，一部分编程语言具备类型安全的性质。这个术语在不同的社群中有不同的定义，特别是正规的类型理论上的定义远远强过大多数的程序员的理解，但对于使用类型系统的认知，皆旨在避免必然的错误形式，和不良的程序行为（称为类型错误）。在计算机科学中，一部分编程语言具备类型安全的性质。这个术语在不同的社群中有不同的定义，特别是正规的类型理论上的定义远远强过大多数的程序员的理解，但对于使用类型系统的认知，皆旨在避免必然的错误形式，和不良的程序行为（称为类型错误）。