程序设计语言整理，成为高阶的概念。一个程序中专门处理数据的那个系统被称为程序语言的型态系统（）；对型态系统的研究和设计被称为型态理论（）。语言可以被分为静态型态系统（），例如C++和Java，和动态型态系统（），例如Lisp，JavaScript，Tcl和Prolog。前者可被进一步分为包含宣告型态（）的语言，即每一个变量和函数的型态都清楚地宣告，或type-inferred语言（例如MUMPS，ML）。大多数语言还能够在内置的型态基础上组合出复杂的数据结构型态（使用数组，列表，堆栈，文件等等）。面