，在A|zh:程式;zh-tw:程式;zh-cn:程序A|zh:执行;zh-tw:执行;zh-cn:运行中，可能不表示为值）。型别系统在各种语言之间有非常大的不同，也许，最主要的差异存在于编译时期的语法，以及执行时期的操作实现方式。编译器可能使用值的静态型别以最佳化所需的储存区，并选取对值运算时的较佳演算法。例如，在许多C编译器中，「浮点数」资料型别是以32 位元表示，与IEEE 754规格一致的单精度浮点数。因此，在数值运算上，C应用了浮点数规范（浮点数加法、乘法等等）。型别的约束