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

寰阳职业技术学院学报　第１４卷　第１期　ｄｏｉ：１４．３９６９０．ｉｓｓｎ．２０９５－６５８４．２０１５．０１．０１９　双月刊　２０１５年１月　（北京邮电大学　国际学院，　北京　１０２２０９）　摘要：编程语言是用来定义计算机程序的形式语言，是一种向计算机发出指令的标准化的交流方式，程　序员通过使用编程语言来定义计算机应当执行的操作和所需使用的数据。本文阐释了编程语言构成要素和环　境工具，讨论了编程语言的设计实现、使用和流行情况以及未来的发展趋势。　关键词：编程语言；构成要素；环境工具；设计实现；发展趋势　中图分类号：ＴＰ３１２　文献标识码：Ａ　文章编号：２０９５—６５８４（２０１５）Ｏ１—００１９—０５　一、编程语言的构成要素　表达的结构的限制。例如，检查每一个标识符是否　在被调用前已经被定义过，或者检查在案例语句中　计算机语言本质上是一种形式语言。形式语言　的标识是否唯一。动态语义规定了语言的各种构件　在数学和计算机科学中是用精确的数学或机器可　怎样以及何时生成合理的程序行为。比如在计算机　处理的公式定义的语言，如同人类语言学中的语言　通信环境下，可以规定一个远程调用最多被执行一　一样包含两个方面：语法（Ｓｙｎｔａｘ）和语义　次，或者某个操作可以被执行，也可以不被执行，还　（Ｓｅｍａｎｔｉｃｓ）。专门研究形式语言语法的数学和计算　可以被部分执行。动态语义赋予了程序更大的灵活　机科学分支叫做形式语言理论，它只研究语言的语　性，但也容易导致歧义，并由此产生不易查出的程　法而忽略它的语义。　序错误。　在形式语言理论中，形式语言是一个字母表上　３．数据类型（Ｄａｔａ　Ｔｙｐｅｓ）：虽然计算机内部的数　的有限长度的字符串集合。一个形式语言可以包含　据都只以二进制代码方式储存，即０—１或者开一关　无限多字符串。每一种程序设计语言可以看作是一　模式，但现实生活中人们更习惯于将代表各种信息　套包含语法、词汇和含义的正式规范。这些规范通　的数据分类成整数、实数、字符、日期、货币等类型。　常包括标识符和命名常规、数据和数据结构、指令　与此对应，人们在计算机语言中也加入了数据类型　及流程控制、引用机制和重用。　和类型体系。　，　１．语法（Ｓｙｎｔａｘ）：一种编程语言的表面形式称　类型体系规定怎样对各种数据和表达式分类。　为语法。大多数编程语言是纯粹的文字，它们使用　类型体系可以帮助发现不合规范的操作，例如整数　的文字序列包括文字、数字和标点符号，如同自然　和字符串的乘法操作，从而在一定程度上保证用该　语言。另一方面，也有一些编程语言使用图形而非　语言写出的程序的正确性。很多语言都有类型检　文字，即用符号之间的视觉关系来描述和定义程　验，有的是静态检验，比如大多数编译语言都在编　序，此类语言成为可视化编程语言，比如微软的机　译时报告此类错误。有些是动态检验，比如　器人开发者工作室（Ｍｉｃｒｏｓｏｆｔ　Ｒｏｂｏｔｉｃｓ　ＤｅｖｅｌｏＤｅｒ　Ｊａｖａｓｃｒｉｐｔ、Ｐｅｒｌ和Ｐｙｔｈｏｎ，只在程序运行时检查类型　Ｓｔｕｄｉｏ）软件就包括一种用于描述数据流的可视化　错误。当然也有些语言没有类型体系，比如汇编语　编程语言。【　言，因为它所有的数据都是不同长度的二进制码。１２１　２．语义（Ｓｅｍａｎｔｉｃｓ）：语义有静态和动态之分。　对类型的检验也有强弱之分。弱类型检验容许　静态语义定义了对合法的文本中难以用标准语法　某个类型的值被当作其他类型来操作，比如字符串　收稿日期：２０１４—０９—２５　作者简介：杨飞扬（１９９４．），男，湖北襄阳人。在读本科生，研究方向：计算机科学和电子商务。　１９　《襄阳职业技术学院学４￣）２０１５年第１期　可以当成一个数。强类型检验就不容许这样的处　理。ｃ和Ｊａｖａ是强类型语言的代表，Ｐｅｒｌ和　Ｊａｖａｓｃｒｉｐｔ是弱类型语言的代表。　很多语言还在内置类型的基础上组合出复杂　的数据结构型态（使用数组、列表、堆栈、文件等）。　面向对象语言允许程序员定义新的数据型态，即　“对象”或“物件”，以及运行于该对象的函数和方　法。常见的数据结构有堆栈（Ｓｔａｃｋ）、链表　（ＬｉｎｋｅｄＬｉｓｔ）、树（Ｔｒｅｅ）、图（Ｇｒａｐｈ）、堆（Ｈｅａｐ）、散列　（Ｈａｓｈ）等。【３　ｌ４．赋值语句（Ａｓｓｉｇｍｎｅｎｔ　Ｓｔａｔｅｍｅｎｔｓ）：赋值语句　用于给一个变量赋值，形式一般是“ａ＝＜表达式　＞；”。几乎每一种语言都有赋值语句。完成一个赋值　语句一般包括　步操作：计算等号右边的表达式的　值；计算等式左边变量在内存中的地址；把第一步　得到的值复制到第二步找到的内存地址中。１４１　５．控制语句（Ｃｏｎｔｒｏｌ　Ｓｔａｔｅｍｅｎｔｓ）：控制语句用来　控制赋值语句执行的顺序。常用的控制结构包括条　件转移语句（ｉｆ－ｔｈｅｎ—ｅｌｓｅ语句，ｃａｓｅ—ｓｗｉｔｃｈ语句）、　循环语句（ｆｏｒ—ｌｏｏｐ语句，ｗｈｉｌｅ—ｌｏｏｐ语句等）。条件　转移语句用来在两个或者更多的执行顺序中选择　一个来执行，该条件一般是一个表达式。具体选择　哪一个分支，要按照指定的表达式的结果来执行。　循环语句用来重复执行一个或者一组语句，一般都　有循环步数的初值、终值和步幅的设置。『４Ｊ　６．子程序（Ｓｕｂｐｒｏｇｒａｍｓ）：子程序用来定义一组　可被重复调用的数据声明和程序语句，有时也称为　过程、函数、子例程、方法。其目的是可以重用现有　程序代码，从而节省开发和调试的时间，已经成为　现代编程语言中不可或缺的构成要素之一。当子程　序被调用时，需要传递给它一组数值，通常叫参数。　子程序按照输入的参数执行相应的运算或者操作，　并且把所得的结果返回给调用者。嘲　７．模块（Ｍｏｄｕｌｅｓ）：相关的子程序组织在一起就　构成模块。模块是软件工程的核心概念之一。大中　型的软件系统常有成千上万行的语句和数以百计　的子程序，把它们按功能或者逻辑关系分割成不同　的模块有助于开发、调试和维护。通过合理的设计和　实现，软件模块也可以像子程序那样被其他模块反　复调用，从而有助于在更高层次上实现代码重用。Ｉ３１　８．标准库：大多数编程语言都有一个相关的核心　库，也被称为“标准库”，因为它往往是语言标准的一　部分。核心库通常包括定义为常用算法、数据结构　以及用于输入和输出的机制。例如在Ｊａｖａ中，一个　字符串被定义为ｊａｖａ．１ａｎｇ．Ｓｔｒｉｎｇ中的类的实例。同　样，在Ｓｍａｌｈａｌｋ中，一个匿名函数表达式（“块”），　构建了图书馆的ＢｌｏｃｋＣｏｎｔｅｘｔ类的一个实例。　二、编程环境工具　要编写可在计算机上运行的程序，程序员需要　２０　懂至少一种编程语言。除此之外，他还需要有一个　编程环境，会使用一些工具，才能把他头脑中的想　法和算法用编程语言表达成计算机程序，并且最终　变成可执行代码在计算机上运行。常用编程工具　如下。　１．编辑器（Ｅｄｉｔｏｒ）：编辑器是用于创建和修改源　程序的工具。源程序通常以字符文件的形式保存在　磁盘上。编译器通常接受由任何生成标准字符文件　（例如ＡＳＣＩＩ文件）的编辑器编写的源程序。现在很　多编辑器都加入了内置编译器，目的是让程序员在　程序的编写时而不是编译时就得知部分语法错误。　有的编辑器还允许从中调用编译器以及其他程序，　这样程序员无需离开编辑器就可执行某些开发调　试任务。　２．编译器（Ｃｏｍｐｉｌｅｒ）：编译器将高级程序设计　语言变换成计算机硬件所能识别的机器语言，以便　计算机进行处理。它可以做语言和文法检查、词法　分析、语法分析、语法制导翻译、中间代码生成、存　储管理、代码优化和目标代码生成。　３．解释器（Ｉｎｔｅｒｐｒｅｔｅｒ）：解释程序是如同编译器　的一种语言翻译程序。解释器直接执行程序的源代　码，而不是翻译成目标文件。它与编译器的不同之　处在于：它立即执行源程序而不是生成在翻译完成　之后才执行的目标代码。从原理上讲，任何程序设　计语言都可被解释或被编译，但是根据所使用的语　言和翻译情况，很可能会选用解释程序而不用编译　器。例如，我们经常解释ＢＡＳＩＣ语言而不是去编译　它。类似地，诸如ＬＩＳＰ的函数语言也常常是被解释的。　解释程序也经常用于软件的开发，此处的程序　很有可能被翻译若干次。而另一方面，当执行的速　度是最为重要的因素时就使用编译器。这是因为被　编译的目标代码比被解释的源代码要快１０倍或更　多。但是，解释程序具有许多与编译器共享的操作，　两者间有一些混合之处。　４．汇编器（Ａｓｓｅｍｂｌｅｒ）：汇编程序是用于特定计　算机上的汇编语言的翻译程序。汇编语言是计算机　的机器语言的符号形式，它极易翻译。有时，编译器　会生成汇编语言以作为其目标语言，然后再由一个　汇编程序将它翻译成目标代码。　５．连接器（Ｌｉｎｋｅｒ）：连接器收集程序的组件的　目标文件和解析外部来自一个组件的引用到另一　个，以便形成一个可执行文件。编译器和汇编程序　都经常依赖于连接程序，它将分别在不同的目标文　件中编译或汇编的代码收集到一个可直接执行的　文件中。在这种情况下，目标代码，即还未被连接的　机器代码，与可执行的机器代码之间就有了区别。　连接程序还连接目标程序和用于标准库函数的代　码，以及连接目标程序和由计算机的操作系统提供　的资源（例如存储分配程序及输入与输出设备）。连　接程序现在正在完成编译器最早的一个主要活动　杨飞扬：试析主流编程语言的核心要素和发展趋势　（这也是“编译”一词的用法，即通过收集不同的来　源来构造），连接过程对操作系统和处理器有极大　的依赖性。　类似的属性和目的，都有一个与语义分离的语法，　并且都有语言的语系分支关系。但是，做为人工构　建的语言，编程语言与人类使用过程中不断进化的　自然语言有根本的区别，不同之处在于表达的精　确度和完整性。程序设计语言可以被充分地描　６．装载器（Ｌｏａｄｅｒ）：装载器的任务是拷贝可执　行文件从磁盘到内存，并初始化电脑前执行该程　序。编译器、汇编程序或连接程序生成的代码经常　述，并可以整体研究，因为它具有一个精确而有限的　定义。［５１　不完全适用或不能执行，但它们的主要存储器访问　却可以在存储器的任何位置中与一个不确定的起　相比之下，自然语言的含意随着使用者和使用　环境而改变。当使用自然语言与人沟通，即使作者　和演讲者表达不那么明确，或偶尔出点错误，他们　始位置相关。这样的代码可重定位，装入程序可处　理所有的与指定的基地址或起始地址有关的可重　定位的地址。装入程序使得可执行代码更加灵活，　但是装入处理通常是在后台或与连接相联合时才　发生，装入程序极少会是实际的独立程序。　７．预处理器（Ｐｒｅｐｒｏｃｅｓｓｏｒ）：预处理器是在真正　的翻译开始之前由编译器调用的独立程序。预处理　器可以删除注释、包含其他文件以及执行宏替代。　预处理器可由语言（如Ｃ）要求或以后作为提供额外　功能的附加软件。　８．调试器（Ｄｅｂｕｇｇｅｒ）：调试器是一个测试工　具。它允许程序员来控制程序的执行，以方便查找　程序中的错误。调试程序是可在被编译了的程序中　判定执行错误的程序，它也经常与编译器一起放在　ＩＤＥ中。运行一个带有调试程序的程序与直接执行　不同，这是因为调试程序保存着所有的或大多数源　代码信息，诸如行数、变量名和过程。它还可以在预　先指定的位置（称为断点）暂停执行，并提供有关已　调用的函数以及变量的当前值的信息。　９．描述器（Ｐｒｏｆｉｌｅｒ）：描述器的用途是探查测量　程序的每个组件执行所花费的时间和内存资源，从　而查出决定程序执行效率的瓶颈所在。描述器是在　程序执行中对各个组件所耗费的时间和资源进行　搜集和统计。程序员特别感兴趣的统计是每一个过　程的调用次数和每一个过程执行时间所占的百分　比。这样的统计对于帮助程序员提高程序的执行速　度极为有用。有时编译器甚至无需程序员的干涉就　可利用描述器的输出来自动改进目标代码。　１０．测试工具（Ｔｅｓｔｉｎｇ　Ｔｏｏｌｓ）：测试工具通过创建　和运行自动化软件对目标软件的各方面进行测试　并分析测试结果，一般都强调测试过程的自动化和　测试项目的系统化。著名的测试工具有Ｊｕｎｉｔ，它为　Ｊａｖａ程序员提供了自动化和系统化测试的框架和　工具。　近年来，人们开发了各种集成开发环境将上述　工具捆绑在一起，构成一个集成环境，大大提高了　软件开发的效率。其中著名的有微软的ＶｉｓｕａｌＳｔｕｄｉｏ，　支持使用Ｖｉｓｕａｌ　ｃ＋＋、Ｖｉｓｕａｌ　Ｂａｓｉｃ、ｃ＃等语言开发　Ｗｉｎｄｏｗｓ和．Ｎｅｔ程序。　三、设计与实现　编程语言作为人机交流的载体跟自然语言有　的意图仍然可以被多数人理解。然而计算机只能严　格执行程序员所写的代码，而不能理解程序员所写　代码的意图，也不能跳过程序中的错误。　人们已经创造了数以千计各种各样的编程语　言。许多编程语言都是从零开始设计的，然后被改　进以适应新的需求，并加入其他语言的功能和特　点。还有许多编程语言最终无人使用而被遗忘。那　么为什么不创造一种能够包括所有功能和实现所　有目标的通用万能的编程语言？理论上这一想法似　乎可行，曾经也有人尝试过，但到目前为止从未成　功过。原因很多，其中之一可能是使用环境。使用环　境的多样性自然而然地造成了对不同编程语言的　需要。有些程序很小可以由爱好者个人编写，而有　些大系统需要数百程序员的集体努力。新手程序员　喜欢简单高于一切，而编程老手可以坦然面对相当　大的复杂性。从微控制器到超级计算机，不同的系　统有不同的速度和大小，写出的程序必须在这些因　素里找到平衡。有的程序可以写一次，以后几代人　都可以不加改变地继续使用，而有些程序必须不断　地修改。再者，不同的程序员有不同喜好，他们可能　习惯于用一种特定的语言来讨论问题和表达见解。　也有人提出设计自然语言处理器来消除对专门编　程语言的需要，然而目前还停留在讨论阶段，这个　目标看起来仍然遥远。【　】　四、使用和流行程度　在已经问世的数以千计不同的编程语言中，还　有几百种在不同程度地被使用。为了确定哪一种是　最广泛使用的程序设计语言，人们提出了各种测量　语言流行程度的方法。比如，可以根据招工网站招　聘广告中提到的语言的数量，各种计算机编程书籍　的出售数量，各种语言所写代码行数的估计等对各　种语言的使用流行程度进行排名。　在各种排行榜中，较有名气的是ＴＩＯＢＥ排行　榜。『６】它是根据互联网上有经验的程序员、课程和厂　商的数量，使用搜索引擎（如Ｇｏｏｇｌｃ、Ｂｉｎｇ、Ｙａｈｏｏ、百　度）以及Ｗｉｋｉｐｅｄｉａ、Ａｍａｚｏｎ、ＹｏｕＴｕｂｅ统计出排名数　据。虽然排名只是反映某个编程语言的热门程度，　并不能说明该语言好不好，或者该语言所编写的代　２１　《襄阳职业技术学院学￣１））２ｏ１５年第１期　表１　２００３—２ｏ１３年ＴＩＯＢＥ排名前２０的语言　２００ｓ　２。∞２ｏｏｓ　２００６　２ｏｏ７　２ｏｏ８　２ｏｏ９　２。ｍ　２。　・　２。・２　２。－３　１　Ｊａｖａ　２　Ｃ　３　Ｃ＋＋　Ｃ　Ｊａｖａ　Ｊａｖａ　Ｃ　Ｊａｖａ　Ｃ　Ｊａｖａ　Ｃ　Ｊａｖａ　Ｃ　Ｊａｖａ　Ｃ　Ｊａｖａ　Ｃ　Ｊａｖａ　Ｃ　Ｃ　Ｊａｖａ　Ｃ＋＋　Ｃ　Ｊａｖａ　Ｃ＋＋　Ｃ＋＋　ＰＨＰ　Ｃ＋＋　ＰＨＰ　Ｃ＋＋　ＶＢ　ＶＢ　ＰＨＰ　ＶＢ　Ｃ＋＋　ＰＨＰ　Ｃ＋＋Ｃ＋＋　ＰＨＰ　Ｃ＃　Ｃ＋＋　Ｏｂｊｅｅｔｉｖｅ－Ｃ　Ｏｂｉｅｅｔｉｖｅ－Ｃ　Ｃ｝｝　ＰＨＰ　４　Ｐｅｒｌ　５　ＶＢ　ＶＢ　Ｐｅｒｌ　Ｐｅｒｌ　ＶＢ　ＰＨＰ　Ｐｅｒｌ　Ｃ＋＋ＰｖｔＩｌｏｎ　ＰＨＰ　Ｐｙｌｏｎ　ＶＢ　Ｃ＃　Ｐｙｔｈｏｎ　Ｃ＃Ｏｂｉｅｅｔｉｖｅ—Ｃ　Ｃ＃　ＰＨＰ　ＰＨＰ　６　ＰＨＰ　７　ＳＱＬ　８　Ｃ＃　ＳＱＬ　Ｃ＃　Ｃ＃Ｐｙｔｈｏｎ　Ｐｅｒｌ　Ｃ｛｝　Ｒｕｂｙ　Ｄｅｌｐｈｉ　Ｐｅｒｌ　Ｃ＃Ｒｕｂｙ　Ｄｅｌｐｈｉ　Ｐｙｔｈｏｎ　Ｐｅｒｔ　ＶＢ　ＶＢ　Ｐｅｒｌ　ＶＢ　ＩＭａｏｎ　Ｐｅｒｌ　Ｒｕｂｙ　ＶＢ　Ｐｙｔｈｏｎ　ＪａｖａＳｃｒｉｐｔ　ＶＢ．Ｎｅｔ　Ｐｙｌｏｎ　Ｐｙｔｈｏｎ　Ｏｂｊｅｃｔｉｖｅ—Ｃ　Ｐｙｔｈｏｎ　９　ＪａｖａＳｅｒｉｐｔ　Ｄｅｌｐｈｉ　１０　Ｄｅｌｐｈｉ　ＪａｖａＳｃｒｉｐｔ　ＪａｖａＳｃｒｉｐｔ　Ｊａｖａｓｅｒｉｐｔ　Ｐｅｒｌ　ｃ＃　ＳＡＳ　ＡＢＡＰ　Ｄｅｌｐｈｉ　Ｒｕｂｙ　ＳＡＳ　ＪａｖａＳｃｒｉｐｔ　ＪａｖａＳｃｒｉｐｔ　Ｒｕｂｙ　Ｄｅｌｐｈｉ　Ｒｕｂｙ　ＪａｖａＳｅｒｉｐｔ　Ｊａｖａｓｅｒｉｐｔ　Ｄｅｌｐｈｉ　ＪａｖａＳｅｒｉｐｔ　Ｔｒａｎｓａｃｔ—ｓＱＬ　ＶＢ．Ｎｅｔ　Ｒｕｂｖ　１１　Ｐｙｔｈｏｎ　１２　ＣＯＢ０Ｌ　ｌ３　Ｆ０ｒｔｒａｎ　１４　ＲＰＧ　１５　ＳＡＳ　１６　Ｌｉｓｐ　ＪａｖａＳｅｒｉｐｔ　ＳＡＳ　ＰｔＪＳＱＬ　Ｄｅｌｐｈｉ　ＣＯＢＯＬ　Ｄ　Ｄ　Ｄ　ＰｔＪＳＱＬ　ＳＡＳ　Ｄｅｌｐｈｉ　Ｐａｓｃａｌ　Ｒｕｂｙ　ＣＯＢＯＬ　ＶＢ．ＮＥＴ　ＰｔＪＳＱｆ，ＩＤＬ　Ｌｉｓｐ　Ａｄａ　ＰｔＪＳＱＬ　ＳＡＳ　ＰＵＳＱＬ　ＳＡＳ　Ｏｂｊｅｅｔｉｖｅ－Ｃ　Ｌｉｓｐ　Ａｓｓｅｍｂｌｙ　ＳＡＳ　Ｌｉｓｐ　Ｐａｓｃａｌ　Ｌｉｓｐ　Ｐａｓｃａｌ　Ｐｅｒｌ　Ｐａｓｃａｌ　ＬＩＳＰ　Ａｄａ　ＩＤＬ　ＡＢＡＰ　Ｌｉｓｐ　Ａｄａ　ＣＯＢＯＬ　ＡＢＡＰ　Ｌｉｓｐ　Ｐａｓｃａｌ　Ｐｏｗｅｒｓｈｅｌｌ　Ｐａｓｃａｌ　Ｐａｓｃａｌ　Ｌｉｓｐ　ＣＯＢＯＬ　Ｔｒａｎｓａｃｔ—ＳＱＬ　Ｄｅｌｐｈｉ　ＰｔＪＳＯＬ　Ａｄａ　Ｍａｔｌａｂ　１ＶＩａｔｌａｂ　Ｆ＃　Ｐ［ＪＳＯＬ　Ｐａｓｃａｌ　Ｆｏｒｔｒａｎ　ＡＢＡＰ　Ｌｉｓｐ　１７　Ｓｅｈｅｉｎｅ　１８　Ａｄａ　１９　Ｐｒｏｌｏｇ　２０　Ａｗｋ　Ｔｒａｎｓａｃｔ—ＳＯＬ　Ａｄａ　Ｆｏｒｔｒａｎ　Ｐａｓｃａｌ　ＲＰＧ　ＣＯＢＯＬ　Ｐａｓｃａｌｌ　Ｔｒａｎｓａｃｔ—ＳＱＬ　Ｌｕａ　Ｍａｔｌａｂ　Ｌｕａ　ＲＰＧｆ０Ｓ／４００）Ｌｏｇｏ　Ｍａｔｌａｂ　１／　Ｌｕａ　Ａｓｓｅｍｂｌｙ　Ｄ　Ｌｉｓｐ　ＣｏｌｄＦｕｓｉｏｎ　Ｔｒａｎｓａｃｔ—ｓＯＬ　Ｌｕａ　ＡｅｉｆｏｎＳｅｒｉｐｔ　Ｄ　Ａｄａ　Ｌｕａ　Ｂａｓｈ　Ｄｅｌｐｈｉ　码数量多少，但对世界范围内开发语言的走势仍具　有重要参考意义。　名大公司使用和推广，比如微软的ＶＢ，ｖＣ＋＋和　ｃ＃，苹果公司的０ｂｊｅｅｔｉｖｅ—Ｃ，Ｏｒａｃｌｅ的Ｊａｖａ和　Ｐ￣ＳＱＬ等。　表１列出了从２００３—２０１３问ＴＩＯＢＥ排名前２０　的语言。从中可以看出，ｃ和Ｊａｖａ一直占据头两位，　ＰＨＰ、Ｐｙｔｈｏｎ、Ｊａｖａｓｃｒｉｐｔ等网页编程常用的脚本语言　也基本稳居前１０位。从９０年代中期开始流行的　Ｐｅｒ］有下滑并跌出前１０的趋势。图１展示了１０种　当前流行的语言在２００２－－２０１３年间的在全部语言　使用总量中所占比重的变化。结合表１可以看出，　虽然Ｃ和Ｊａｖａ一直稳居前列，但其所占比重却逐年　下滑；而新兴语言如ｃ＃和Ｒｕｂｙ却显示出加速上升　的趋势。值得注意的是排名靠前的语言几乎都被著　五、发展趋势　回顾编程语言的发展历程，可以看出其总体发　展趋势是提高语言的抽象层次和表达能力、容易学　习和使用以及能支持更灵活的定制，从而提高程序　员编写代码的效率，即用更少的代码完成更多的２１２　作。未来编程语言将继续沿着这一大方向发展，具　体有以下两方面值得关注。　（一）对函数式编程的支持　上世纪５０年代后期就有了函数式编程语言　Ｌｉｓｐ，其后一直停留在学术界，直到最近它才被工业　界重视，多种主流语言如ｃ＃、Ｊａｖａ，甚至ｃ＋＋都相继　加入对函数式编程的支持。另外，纯函数式编程语　言如Ｓｅａｌａ、ＣＩｏｉｕＦｅ和Ｈａｓｋｅｌｌ也都站稳了脚跟。函　数式编程的最大优点是强大的抽象能力，因为它隐　藏了许多操作细节（比如迭代），而它曾经的缺点　（占用消耗大量ＣＰＵ和内存）在计算机硬件高速发　展的今天已经显得不那么突出，这就是它逐渐获得　重视的原因。混合语言如Ｓｃａｌａ或Ｆ＃有可能成为主　流语言。　Ｉ—ｃ　—Ｏｂｊｅ曲件ｃ—ｃ，一　ｓｕｍ１）Ｂｇｓｉｅ～ＰＢｒ　ｌｌ　（二）对并行编程的支持　对很多程序员来说，并发编程是一个痛苦的差　事。目前ＣＰＵ发展的总体趋势是强调多核。正如微　卜・Ｊａ憎一ｃ．＋　ＰＨＰ…　Ｐ忡ｏｎ　—Ｒｕ时ｌ　图１　２００２—２０１３年１Ｏ种常用语言ＴＩＯＢＥ排名变化　２２　杨飞扬：试析主流编程语言的核心要素和发展趋势　软高级技术员Ａｎｄｅｒｓ？Ｈｅｌｊｓｂｅｒｇ所讲，多核革命的　改变了编写程序的方式，意味着对于编程语言而　一个有趣之处在于它会要求并发的思维方式有所　言，需要有办法来分解任务，把它拆分成多个小任　改变。传统的并发思维，是在单个ＣＰＵ上执行多个　务后独立地执行，而传统的编程语言中并不关注这　逻辑任务，使用旧有的分时方式或是时间片模型来　一点。对多核环境下并行编程的支持将是近期发展　执行多个任务。但是如今的并发场景则正好相反，　的热点之一。　是要将一个逻辑上的任务放在多个ＣＰＵ上执行。这　参考文献：　［１］维基百科．编程语言的历￣［ＥＢ／ＯＬ］．（２Ｏ１４—０３—１Ｏ）【２０１４—０５—０１】．ｈｔｔｐ：／／ｅｎ．ｗｉｋｉｐｅｄｉａ．ｏｒｇ／ｗｉｋｉ／Ｈｉｓｔｏｒｙ＿ｏｆ＿ｐｒｏｇｒａｍｍｉｎｇ＿ｌａｎｇｕａｇｅｓ．　［２］布莱恩特，奥哈拉伦．深入理解计算机系统（第２版）【Ｍ】．龚奕利，雷迎春，译．北京：机械工业出版社，２０１１．　［３］郑莉，董江舟．Ｃ＋＋语言程序设计（第４版）［ＭＩ．北京：清华大学出版社，２０１０．　［４］谭浩强．Ｃ＋＋面向对象程序设计【Ｍ】．北京：清华大学出版社，２００６．　［５］Ｊ．Ｇ１ｅｎｎ　Ｂｒｏｏｋｓｈｅａｒ．计算机科学概论【Ｍ】．北京：人民邮电出版社，２０１１．　［６］百度百科．ＴＩＯＢＥ排行榜［ＥＢ／ＯＬ］．（２０１４－０３－０２）［２０１４－０５－１４１．ｈｔｔｐ：／／ｂａｉｋｅ．ｂａｉｄｕ．ｃｏｍ／ｌｉｎｋ？ｕｄ＝４ｉｕ６ＥＸｑＲｋ＿ｐ＿ｔＥＦＹＸ７１ｆｄｚＩ・　ＪｇＬ０ｄＡＰｆＱＨＧｓｇＴＮｂＪ３ｇｂ－５ｄｅＵｌｐ８ｇｊｃＱＥＩｆ６５ｏｙＷｙＢｈｎＥｉｌ＿ｅ—ｙｎｇＱＢＣｐＳ２ｑｎＬ．　Ｏｎ　ｔｈｅ　Ｃｏｒｅ　Ｅｌｅｍｅｎｔｓ　ｏｆ　ｔｈｅ　Ｍａｉｎｓｔｒｅａｍ　Ｐｒｏｇｒａｍｍｉｎｇ　Ｌａｎｇｕａｇｅ　ａｎｄ　Ｉｔｓ　Ｄｅｖｅｌｏｐｍｅｎｔ　Ｔｒｅｎｄ　ＹＡＮＧ　Ｆｅｉ－ｙａｎｇ　（Ｂｅｉｊｉｎｇ　Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｐｏｓｔｓ　ａｎｄ　Ｔｅｌｅｃｏｍｍｕｎｉｃａｔｉｏｎｓ，Ｂｅｉｊｉｎｇ　１０２２０９，Ｃｈｉｎａ）　Ａｂｓｔｒａｃｔ：Ａ　ｐｒｏｇｒａｍｍｉｎｇ　ｌａｎｇｕａｇｅ　ｉｓ　ａ　ｆｏｒｍａｌ　ｌａｎｇｕａｇｅ　ｕｓｅｄ　ｔｏ　ｄｅｆｉｎｅ　ｃｏｍｐｕｔｅｒ　ｐｒｏｇｒａｍｓ．Ｉｔ　ｉｓ　ａ　ｓｔａｎｄａｒｄ　ｗａｙ　ｏｆ　ｉｎｔｅｒａｃｔｉｏｎ　ｔｏ　ｉｎｓｔｒｕｃｔ　ｔｈｅ　ｃｏｍｐｕｔｅｒ．Ｐｒｏｇｒａｍｍｅｒｓ　ｕｓｅ　ｐｒｏｇｒａｍｍｉｎｇ　ｌａｎｇｕａｇｅｓ　ｔｏ　ｉｎｓｔｒｕｃｔ　ｃｏｍｐｕｔｅｒｓ　ｗｈａｔ　ｏｐｅｒａｔｉｏｎｓ　ｔｏ　ｅｘｅｃｕｔｅ　ａｎｄ　ｗｈａｔ　ｄａｔａ　ｔｏ　ｂｅ　ｕｓｅｄ．Ｔｈｉｓ　ａｒｔｉｃｌｅ　ｄｅｓｃｒｉｂｅｓ　ｔｈｅ　ｌａｎｇｕａｇｅ　ｅｌｅｍｅｎｔｓ　ａｎｄ　ｅｎｖｉｒｏｎｍｅｎｔａｌ　ｔｏｏｌｓ，ａｎａｌｙｚｅｓ　ｔｈｅ　ｄｅｓｉｇｎ　ａｎｄ　ｉｍｐｌｅｍｅｎｔａｔｉｏｎ，ｓｕｍｍａｒｉｚｅｓ　ｔｈｅｉｒ　ｃｕｒｒｅｎｔ　ｐｏｐｕｌａｒｉｔｙ　ａｎｄ　ｉｆｎａｌｌｙ　ｄｉｓｃｕｓｓｅｓ　ｔｈｅ　ｆｕｔｕｒｅ　ｔｒｅｎｄｓ．　Ｋｅｙ　ｗｏｒｄ：ｐｒｏｇｒａｍｍｉｎｇ　ｌａｎｇｕａｇｅ；Ｃｏｎｓｔｉｔｕｅｎｔ　ｅｌｅｍｅｎｔｓ；Ｅｎｖｉｒｏｎｍｅｎｔｌａ　ｔｏｏｌｓ；Ｄｅｓｉｇｎ　ａｎｄ　ｉｍｐｌｅｍｅｎｔ；　ｄｅｖｅｌｏｐｍｅｎｔ　ｔｅｎｄｅｎｃｙ　（审稿：曾　鸿编校：罗　纯）　２３