类型系统
將稱為類型的屬性分配給計算機程序的各種構造的規則集,例如變量,表達式,函數或模塊 / 维基百科,自由的 encyclopedia
在计算机科学中,类型系统(英语:type system)用于定义如何将程式语言中的数值和运算式归类为许多不同的型别,如何操作这些型别,这些型别如何互相作用。型别可以确认一个值或者一组值具有特定的意义和目的(虽然某些型别,如抽象型别和函式型别,在程式执行中,可能不表示为值)。型别系统在各种语言之间有非常大的不同,也许,最主要的差异存在于编译时期的语法,以及执行时期的操作实现方式。
编译器可能使用值的静态型别以最佳化所需的储存区,并选取对值运算时的较佳演算法。例如,在许多C编译器中,“浮点数”资料型别是以32 位元表示,与IEEE 754规格一致的单精度浮点数。因此,在数值运算上,C应用了浮点数规范(浮点数加法、乘法等等)。
型别的约束程度以及评估方法,影响了语言的型别。更进一步,程式语言可能就型别多态性部分,对每一个型别都对应了一个极度个别的演算法的运算。型别理论研究型别系统,尽管实际的程式语言型别系统,起源于电脑架构的实际问题、编译器实作,以及语言设计。