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