静态类型系统

• 编译期会进行变量类型，函数调用，操作符使用，函数声明，record结构等进行静态类型推导和分析，对于类型不正确的使用编译期会报错。

• 对于变量，会分析变量在不同代码位置的类型，进而分析在不同位置是否使用错误，比如类型是否使用正确，或者是否初始化后才使用

• 对于函数定义，会分析参数类型和返回类型，以及在函数体中进行静态类型分析

• 对于函数调用，会分析当前上下文中，是否函数类型和使用的实参类型匹配

• 对于record类型，会分析每个属性字段的类型

• 变量和函数参数的类型声明，以及构造函数等用到类型的地方，会检查类型的存在下，兼容性等