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