类型系统是在计算机科学中，类型系统用于定义如何将编程语言中的 数值和 表达式归类为许多不同的 类型，如何操作这些类型，这些类型如何互相作用。类型可以 确认一个值或者一组值具有特定的意义和目的（虽然某些类型，如抽象类型和函数类型，在程序运行中，可能不表示为值）。类型系统在各种语言之间有非常大的不同，也许，最主要的差异存在于编译时期的语法，以及运行时期的操作实现方式。