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

编译器可能使用值的静态型别以最佳化所需的保存区，并选取对值运算时的较佳算法。例如，在许多C编译器中，「浮点数」数据型别是以32 比特表示，与IEEE 754规格一致的单精度浮点数。因此，在数值运算上，C应用了浮点数规范（浮点数加法、乘法等等）。

In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules. The main purpose of a type system is to reduce possibilities for bugs in computer programs by defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This checking can happen statically (at compile time), dynamically (at run time), or as a combination of static and dynamic checking. Type systems have other purposes as well, such as enabling certain compiler optimizations, allowing for multiple dispatch, providing a form of documentation, etc.