概念静态类型系统 / 静态类型检查
静态类型
在编译阶段完成类型验证的编程语言特性，相较于动态类型可在代码运行前发现类型错误，提升大型项目维护性
时间轴 (近 90 天)
8月31日
静态类型信息是高效原生编译的前提，编译器在编译期确定变量类型才能生成高效机器码，避免运行时动态类型判断、装箱拆箱和动态分发开销
待验证50%
在编译阶段完成类型验证的编程语言特性，相较于动态类型可在代码运行前发现类型错误，提升大型项目维护性
静态类型信息是高效原生编译的前提，编译器在编译期确定变量类型才能生成高效机器码，避免运行时动态类型判断、装箱拆箱和动态分发开销