类型系统是在计算机科学中，类型系统用于定义如何将编程语言中的数值和表达式归类为许多不同的类型，如何操作这些类型，这些类型如何互相作用。类型可以确认一个值或者一组值具有特定的意义和目的(虽然某些类型，如抽象类型和函数类型，在程序运行中，可能不表示为值)。类型系统在各种语言之间有非常大的不同，也许，最主要的差异存在于编译时期的语法，以及运行时期的操作实现方式。编译器可能使用值的静态类型以优化所需的存储区，并选取对值运算时的较佳算法。例如，在许多C编译器中，"浮点数"数据类型是以 32 比特表示，与IEEE 754 规格一致的单精度浮点数。因此，在数值运算上，C 应用了浮点数规范(浮点数加法、乘法等