尼克劳斯

类型指一个编程语言中的数值、表达式、函数和模块等等属性内容。类型系统包括如何定义这些不同类型，如何操作这些类型，这些类型如何相互作用等方面内容。类型系统最主要的作用是通过检查每个值的类型和这些值得流动的规则来减少类型错误的发生。检查可以是静态的（at compile time）, 也可以是动态的（at run time），或者是两者的结合。类型系统也有些其他的作用，比如编译器优化等。