期的语法，以及执行时期的操作实现方式。编译器可能使用值的静态型别以最佳化所需的储存区，并选取对值运算时的较佳演算法。例如，在许多C编译器中，「浮点数」资料型别是以32 位元表示，与IEEE 754规格一致的单精度浮点数。因此，在数值运算上，C应用了浮点数规范（浮点数加法、乘法等等）。型别的约束程度以及评估方法，影响了语言的"型别"。更进一步，程式语言可能就型别多态性部分，对每一个型别都对应了一个极度个别的演算法的运算。型别理论研究型别系统，尽管实际的程式语言型别系统，起源于电脑架构的实际问题、编译器