在计算机科学中，A|zh:型别;zh-tw:型别;zh-cn:类型;系统（）用于定义如何将程式语言中的数值和A|zh:运算式;zh-tw:运算式;zh-cn:表达式归类为许多不同的型别，如何操作这些型别，这些型别如何互相作用。型别可以确认一个值或者一组值具有特定的意义和目的（虽然某些型别，如抽象型别和A|zh:函式;zh-tw:函式;zh-cn:函数型别，在A|zh:程式;zh-tw:程式;zh-cn:程序A|zh:执行;zh-tw:执行;zh-cn:运行中，可能不表