什么是类型安全？

什么是类型安全？ 类型安全，很大程度上，可以等价于内存安全。 类型安全的代码，不会试图访问自己没被授权的内存区域。 “类型安全”常被用来形容编程语言，其根据在于该门编程语言是否提供保障类型安全的机制； 有的时候，也用“类型安全”形容某个程序，判别的标准在于该程序是否隐含类型错误。 类型安全的编程语言与类型安全的程序之间，没有必然联系。 好的程序员，可以使用类型不那么安全的语言写出类型相当安全的程序

>>阅读原文<<