于1980年由Pascal语言的设计者Nicklaus Wirth，由Pascal语言所衍生的模组化高阶语言，为最早支援资料抽象型式的程式语言之一。参【模组程式设计】（modular programming）。