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