构的实际问题、编译器实作，以及语言设计。
基础.定型（"typing"，又称型别指派）赋予一组位元某个意义。型别通常和记忆体中的数值或物件（如变数）相联系。因为在电脑中，任何数值都是以一组位元简单组成的，硬体无法区分记忆体位址、指令码、字元、整数、以及浮点数。型别可以告知程式和程式设计者，应该怎么对待那些位元。型别系统提供的主要功能有：程式通常对每一个值关联一个特定的型别（尽管一个型别可以有一个以上的子型别）。其它的实体，如物件、模组、通讯频道、依赖关系，或者纯粹的