类型安全_信息安全

什么是类型安全？ 在计算机科学中，⼀部分编程语⾔具备类型安全的性质。这个术语在不同的社群中有不同的定义，特别是正规的类型理论上的定义远远强过⼤多数的程序员的理解，但对于使⽤类型系统的认知，皆旨在避免必然的错误形式，和不良的程序⾏为（称为类型错误）。 类型安全可以静态⽅式实施，及早在编译时期就捕捉到潜藏的错误；或者以动态⽅式，在运⾏时期观察类型的信息，并在必要时检测即将发⽣的错误。类型安全是编程语⾔

>>阅读原文<<