现有的定义。
数据和数据结构.现代计算机内部的数据都只以二元方式储存，即开-关模式（）。现实世界中代表信息的各种数据，例如名字、银行账号、度量以及同样低端的二元数据，都经由程序设计语言整理，成为高阶的概念。一个程序中专门处理数据的那个系统被称为程序语言的型态系统（）；对型态系统的研究和设计被称为型态理论（）。语言可以被分为静态型态系统（），例如C++和Java，和动态型态系统（），例如Lisp，JavaScript，Tcl和Prolog。前者可被进一步分为包含宣告型态（）的语言