义的正式规范。这些规范通常包括：程式语言不成文规定：大多数被广泛使用或经久不衰的程式语言，拥有负责标准化的组织，经常会晤来创造及发布该程式语言的正式定义，并讨论扩展或贯彻现有的定义。
数据和数据结构.现代计算机内部的数据都只以二元方式储存，即开-关模式（）。现实世界中代表信息的各种数据，例如名字、银行账号、度量以及同样低端的二元数据，都经由程序设计语言整理，成为高阶的概念。一个程序中专门处理数据的那个系统被称为程序语言的型态系统（）；对型态系统的研究和设计被称为型态