试析主流编程语言的核心要素和发展趋势.pdfVIP

寰阳职业技术学院学报 第 14卷 第 1期 doi：14．39690．issn．2095-6584．2015．01．019 双月刊 2015年 1月 (北京邮电大学 国际学院， 北京 102209) 摘 要：编程语言是用来定义计算机程序的形式语言，是一种向计算机发出指令的标准化的交流方式，程 序员通过使用编程语言来定义计算机应当执行的操作和所需使用的数据。本文阐释了编程语言构成要素和环 境工具，讨论了编程语言的设计实现、使用和流行情况以及未来的发展趋势。 关键词：编程语言；构成要素；环境工具；设计实现；发展趋势 中图分类号：TP312 文献标识码 ：A 文章编号：2095—6584(2015)O1—0019—05 表达 的结构 的限制 。例如 ，检查每一个标识符是否 一 、 编程语 言的构 成要素 在被调用前 已经被定义过 ，或者检查在案例语句 中 计算机语 言本质上是一种形式语言 。形式语 言 的标识是否唯一 。动态语义规定 了语言的各种构件 在数 学和计算 机科 学 中是用精确 的数学或机器可 怎样 以及何时生成合理 的程序行为 。比如在计算机 处理 的公式定义 的语 言 ，如 同人类语 言学 中的语 言 通信环境下 ，可 以规定一个远程调用最 多被执行一 一 样 包 含 两 个 方 面 ： 语 法 (Syntax) 和 语 义 次 ，或者某个操作可 以被执行 ，也可 以不被执行 ，还 (Semantics)。专 门研究形式语言语法 的数学和计算 可 以被部分执行 。动态语义赋予 了程序更大 的灵活 机科学分支 叫做形式语言理论 ，它只研究语言 的语 性 ，但 也容 易导致歧义 ，并 由此产生不易查 出的程 法而忽略它 的语义 。 序错误 。 在形式语言理论 中 ，形式语言是一个字母表上 3．数据类型 (DataTypes)：虽然计算机 内部 的数 的有 限长度 的字符 串集合 。一个形式语言可 以包含 据都 只以二进制代码方式储存 ，即0—1或者开 一关 无 限多字符 串。每一种程序设计语言可 以看作是一 模 式 ，但现实生活 中人们更 习惯于将代表各种信 息 套包含语法 、词汇和含义 的正式规范 。这些规范通 的数据分类成整数 、实数 、字符 、日期 、货 币等类 型 。 常包括标识符 和命 名常规 、数 据和数据结构 、指令 与此对应 ，人们在计算机语 言 中也加入 了数据类 型 及流程控制 、引用机制和重用 。 和类 型体系 。 ， 1．语 法 (Syntax)：一种编程语 言 的表面形式称 类型体系规定怎样对各种数据和表达式分类 。 为语法 。大多数编程语言是纯粹 的文字 ，它们使用 类型体系可 以帮助发现不合规范的操作 ，例如整数 的文字序列包括文字 、数字和标点符号 ，如 同 自然 和字符串的乘法操作 ，从而在一定程度上保证用该 语 言。另一方面 ，也有一些编程语 言使用 图形 而非 语 言写出的程序 的正确性 。很多语 言都有类型检 文字 ，即用符 号之 间的视 觉关系来描述和定义程 验 ，有 的是静态检 验 ，比如大多数编译语言都在编 序 ，此类语 言成为可视化编程语 言 ，比如微软 的机 译 时 报 告 此 类 错 误 。有 些 是 动 态 检 验 ， 比如 器 人 开 发 者 工 作 室 (MicrosoftRoboticsDeveloDer Javascript、Perl和 P