安全，有了类型系统以后就可以实现类型安全，这时候程序就变成了一个严格的数学证明过程，编译器可以机械地验证程序某种程度的正确性，从而杜绝很多错误的发生。，有了类型系统以后就可以实现类型安全，这时候程序就变成了一个严格的数学证
阅读背景：
类型系统的作用
来源：互联网
分享到：
