计算机编程语言的发展趋势分析

杨桂花 2018-09-26 5210

电子常识

2647人已加入

描述

　　本文主要是关于计算机编程语言的相关介绍，并着重对计算机编程语言的发展趋势进行了详尽的分析。

　　计算机编程语言

　　计算机语言包括机器语言、汇编语言、高级语言。机器语言是用二进制代码表示的计算机能直接识别和执行的一种机器指令的集合。它是计算机的设计者通过计算机的硬件结构赋予计算机的操作功能，比如汇编语言（assembly language）。机器语言具有灵活、直接执行和速度快等特点。高级语言比较容易识记和理解，像C B语言等。

　　语言汇总

　　语言发展

　　计算机主要是由两大部分构成的，硬件和软件，硬件就不用解释了，你的主机、显示器等等都属于硬件，但是光有硬件电脑是没有办法使用的，除非你拿机箱当柜子用！呵呵！所以就必须有软件支持！软件又分为系统软件，也就是你经常用的操作系统，WIN XP，Win 2000等等！再就是通用软件和应用软件。计算机语言也有一个发展过程，从最开始的计算机语言，也就是011010111，那个时候编程恐怕是非常痛苦的事，因为你要会用0和1表示一切！后来逐步发展，把一些常用的指令用英语单词表示出来，形成了汇编语言，这个时候也是比较痛苦的，你要记住那些单词的含义不说，还必须告诉计算机每一步要怎么做，而计算机又是一个非常笨的东西，你掉一个步骤他就罢工！而且汇编语言的可移植性差，也就是说你在这台电脑上写的程序到另一台电脑上可能就不能用了。之后为了方便软件移植，高级语言诞生了，高级语言不要求程序员掌握计算机的硬件运行，只要写好上层代码，编译软件会将高级语言翻译成汇编语言，然后再将汇编语言转化成计算机语言，从而在计算机中执行。因此，程序员使用高级语言写得代码可以移植到其他计算机执行，而不用考虑计算机硬件的特性。

　　语言使用方向

　　想设计一款美观的Web应用

　　JavaScript可使网站看起来更棒，同时存在大量可兼容的框架，如Ember、Angular、Backbone等，它们都可以帮你组织、构造兼容不同浏览器的Web应用。目前，JavaScript正逐步成为主要的企业级编程语言。

　　JavaScript可在几乎所有的浏览器上运行，可同时用来编写前端与后端服务。无论你开发什么应用，JavaScript是必须的语言，而你也不用考虑应用采用的是何种后端技术。

　　需要快速开发原型

　　如果你是设计师，想学习后端编程技术以测试应用，那Ruby和Python将是不错的选择。这两门语言已入选2013年最流行工作技巧Top 5。

　　学习Python，可以利用Learn Python The Hard Way网站上的资源，学习Ruby，可以登陆Codecademy中的Ruby子栏目。

　　想构建一个Android应用

　　开发Android应用，最多使用Java语言。

　　你可以在Windows和Mac上开发Android应用，之后购买廉价的设备来测试你的应用。随着Andriod正逐渐占领移动市场，越来越多的开发者正选择从Android开始入手。

　　Udacity上免费的JavaScript编程课程很适合初学者。一旦你掌握到Java，就可以登录官方Android开发者网站，学习如何创建第一个Android项目。

　　想开发一款iOS应用

　　在Mac上，你可以使用Objective-C开发可运行于iPhone、iPad、iPod上的iOS应用。与Android相比，iOS的碎片化程序更低，开发者很容易创建通用的应用。

　　除了Object-C，开发iOS应用还需要免费工具Xcode和iOS软件开发工具包。你可以用Apple提供的开发者教程，或登录到Code School网站中的iOS子频道学习iOS开发。

　　计算机编程语言的发展趋势分析

　　程序设计离不开编程语言，但是编程语言在国内的大环境中似乎一直是个二等公民。国内的计算机教育和工程培训，似乎一直在宣传“语言不重要，重要的是思想”，“语言一通百通”等观点，甚至在许多人眼中“语言的讨论”完全是不入流的，但其实“编程语言”与“工具”、“框架”或是“开发方法”等事物一样，都对生产力有着重要的影响。事实上，语言的发展历史比其他方面更为悠久，并且在过去十几年，甚至最近几年中都依然在不断的碰撞，演变。期间一些新的语言诞生了，而另一些在当时看来阳春白雪的语言和编程范式也重新获得了人们的重视。

　　Anders Hejlsberg是微软的Technical Fellow，担任C#编程语言的首席架构师，也参与了.NET Framework，以及VB.NET和F#等语言的设计与开发。几个月前，Anders在比利时的TechDays 2010及荷兰DevDays 2010分别进行了一场演讲，阐述了他眼中对于编程语言的发展趋势及未来方向，本文便对他的观点进行了总结。

　　大约25到30年前，Anders开发了著名的Turbo Pascal，这是一套集语言、编译器及开发工具于一体的产品，这也是Anders进入编程语言这一领域的起点。Anders谈到，如今的计算机和当年他开发的Turbo Pascal所用的Z-80已经不可同日而语。从那时算起，如今的机器已经有大约10万倍的外部存储容量，1万倍的内存大小，CPU速度也有大约1000倍的提高。但是，如果我们比较如今的Java代码及当年Pascal代码，会发现它们的差别其实并不大。Anders认为编程语言的发展非常缓慢，期间当然出现了一些东西，例如面向对象等等，但是远没有好上1000倍。事实上，近几十年来的努力主要体现在框架及工具等方面（如下图）。例如.NET Framework里有超过一万个类及十万个方法，与Turbo Pascal相比的确有了超过1000倍的增长。同样类似，现在的IDE包含了无数强大的功能，例如语法提示，重构，调试器等等。与此相比，编程语言的改进的确很不明显。

　　在过去5、60年的编程历史中，编程语言的抽象级别不断提高，人们都在努力让编程语言更有表现力，这样我们可以用更少的代码完成更多的工作。我们一开始使用汇编，然后使用面向过程的语言（如Pascal和C），然后是面向对象语言（如C++），随后便进入了托管时代，语言运行于受托管的执行环境上（如C#，Java），它们的主要特性有自动的垃圾收集，类型安全等等。Anders认为这样的趋势还会继续保持下去，我们还会看到抽象级别越来越高的语言，而语言的设计者则必须理解并预测下一个抽象级别是什么样子的。另一方面，如.NET，Java等框架的重要性提高了许多，编程语言往往都倾向于构建于现有的工具上，而不会从头写起。现在出现的编程语言，例如F#，以及Java领域的Scala，Clojure等等，它们都是基于现有框架构建的，每次从头开始的代价实在太高。

　　在Anders眼中，如今影响力较大的趋势主要有三种（如下图），它们分别是“声明式的编程风格”（包括“领域特定语言”及“函数式编程”）、过去的五年非常火热的“动态语言”（其最重要的方面便是“元编程”能力）以及多核环境下的“并发编程。此外随着语言的发展，原本常用的“面向对象”语言，“动态语言”或是“函数式”等边界也变得越来越模糊，例如各种主要的编程语言都受到函数式语言的影响。因此，“多范式”程序设计语言也是一个愈发明显的趋势。

　　声明式编程与DSL

　　目前常见的编程语言大都是命令式（Imperative）的，例如C#，Java或是C++等等。这些语言的特征在于，代码里不仅表现了“做什么（What）”，而更多表现出“如何（How）完成工作”这样的实现细节，例如for循环，i += 1等等，甚至这部分细节会掩盖了我们的“最终目标”。在Anders看来，命令式编程通常会让代码变得十分冗余，更重要的是由于它提供了过于具体的指令，这样执行代码的基础设施（如CLR或JVM）没有太多发挥空间，只能老老实实地根据指令一步步的向目标前进。例如，并行执行程序会变得十分困难，因为像“执行目的”这样更高层次的信息已经丢失了。因此，编程语言的趋势之一，便是能让代码包含更多的“What”，而不是“How”，这样执行环境便可以更加聪明地去适应当前的执行要求。

　　关于声明式的编程风格，Anders主要提出了两个方面，第一个方面是DSL（Domain Specific Language，领域特定语言）。DSL不是什么新鲜的玩意儿，我们平时经常接触的SQL，CSS，正则表达式等等都属于DSL。有的DSL可能更加专注于一个方面，例如Mathematica，LOGO等等。这些语言的目标都是特定的领域，与之相对的则是GPPL（General Purpose Programming Language，通用目的编程语言）。Martin Fowler将DSL分为外部DSL及内部DSL两种。外部DSL有自己的特定语法、解析器和词法分析器等等，它们往往是一种小型的编程语言，甚至不会像GPPL那样需要源文件。与之相对的则是内部DSL。内部DSL其实更像是种别称，它代表一类特别API及使用模式。

　　XSLT，SQL等等都可以算作是外部DSL。外部DSL一般会直接针对特定的领域设计，而不考虑其他方面。James Gosling曾经说过：每个配置文件最终都会变成一门编程语言。一开始您可能只会用它表示一点点东西，慢慢地您便会想要一些规则，而这些规则则变成了表达式，后来您可能还会定义变量，进行条件判断等等，而最终它就变成了一种奇怪的编程语言，这样的情况屡见不鲜。现在有一些公司也在关注DSL的开发。例如以前在微软工作的Charles Simonyi提出了Intentional Programming的概念，还有JetBrains公司提供的一个叫做MPS（Meta Programming System）的产品。最近微软也提出了自己的Oslo项目，而在Eclipse世界里也有Xtext，所以其实如今在这方面也有不少人在尝试。由于外部DSL的独立性，在某些情况下也会出现特定的工具，辅助领域专家或是开发人员本身编写DSL代码。还有一些DSL会以XML方言的形式提出，利用XML方言的好处在于有不少现成的工具可用，这样可以更快地定义自己的语法。

　　而内部DSL，正像之前提到的那样，它往往只是代表了一系列特别的API及使用模式，例如LINQ查询语句及Ruby on Rails中的Active Record声明代码等等。内部DSL可以使用一系列API来“伪装”成一种DSL，它往往会利用一些“流畅化”的技巧，例如像jQuery那样把一些方法通过“点”连接起来，而另一些也会利用元编程的方式。内部DSL还有一些优势，例如可以访问语言中的代码或变量，以及利用代码补全，重构等母语言的所有特性。

　　DSL的可读性往往很高。例如，要筛选出单价大于20的产品，并对所属种类进行分组，并降序地列出每组的分类名称及产品数量。如果是用命令式的编程方式，则可能是这样的：

　　Dictionary《string， Grouping》 groups = new Dictionary《string， Grouping》（）;

　　foreach （Product p in products）

　　{

　　if （p.UnitPrice 》= 20）

　　{

　　if （！groups.ContainsKey（p.CategoryName））

　　{

　　Grouping r = new Grouping（）;

　　r.CategoryName = p.CategoryName;

　　r.ProductCount = 0;

　　groups［p.CategoryName］ = r;

　　}

　　groups［p.CategoryName］.ProductCount++;

　　}

　　List《Grouping》 result = new List《Grouping》（groups.Values）;

　　result.Sort（delegate（Grouping x， Grouping y）

　　{

　　return

　　x.ProductCount 》 y.ProductCount ？ -1 ：

　　x.ProductCount 《 y.ProductCount ？ 1 ：

　　}）;

　　显然这些代码编写起来需要一点时间，且很难直接看出它的真实目的，换言之“What”几乎完全被“How”所代替了。这样，一个新的程序员必须花费一定时间才能理解这段代码的目的。但如果使用LINQ，代码便可以改写成：

　　var result = products

　　.Where（p =》 p.UnitPrice 》= 20）

　　.GroupBy（p =》 p.CategoryName）

　　.OrderByDescending（g =》 g.Count（））

　　.Select（g =》 new { CategoryName = g.Key， ProductCount = g.Count（） }）;

　　这段代码更加关注的是“What”而不是“How”，它不会明确地给出过滤的“操作方式”，也没有涉及到创建字典这样的细节。这段代码还可以利用C# 3.0中内置的DSL，即LINQ查询语句来改写：

　　var result =

　　from p in products

　　where p.UnitPrice 》= 20

　　group p by p.CategoryName into g

　　orderby g.Count（） descending

　　select new { CategoryName = g.Key， ProductCount = g.Count（） };

　　编译器会简单地将LINQ差距语句转化为前一种形式。这段代码只是表现出最终的目的，而不是明确指定做事的方式，这样便可以很容易地并行执行这段代码，如使用PINQ则几乎不需要做出任何修改。

　　函数式编程

　　Anders提出的另一个重要的声明式编程方式便是函数式编程。函数式编程历史悠久，它几乎和编程语言本身同时诞生，如当年的LISP便是个函数式编程语言。除了LISP以外还有其他许多函数式编程语言，如APL、Haskell、ML等等。关于函数式编程在学术界已经有过许多研究了，大约在5到10年前许多人开始吸收和整理这些研究内容，想要把它们融入更为通用的编程语言。现在的编程语言，如C#、Python、Ruby、Scala等等，它们都受到了函数式编程语言的影响。

　　使用命令式编程语言写程序时，我们经常会编写如x = x + 1这样的语句，此时我们大量依赖的是可变状态，或者说是“变量”，它们的值可以随程序运行而改变。可变状态非常强大，但随之而来的便是被称为“副作用”的问题，例如一个无需参数的void方法，它会根据调用次数或是在哪个线程上进行调用对程序产生影响，它会改变程序内部的状态，从而影响之后的运行效果。而在函数式编程中则不会出现这个情况，因为所有的状态都是不可变的。事实上对函数式编程的讨论更像是数学、公式，而不是程序语句，如x = x + 1对于数学家来说，似乎只是个永不为真的表达式而已。

　　函数式编程十分容易并行，因为它在运行时不会修改任何状态，因此无论多少线程在运行时都可以观察到正确的结果。假如两个函数完全无关，那么它们是并行还是顺序地执行便没有什么区别了。当然，现实中的程序一定是有副作用的，例如向屏幕输出内容，向Socket传输数据等等，因此真实世界中的函数式编程往往都会考虑如何将有副作用的代码分离出来。函数式编程默认是不可变的，开发人员必须做些额外的事情才能使用可变状态或是危险的副作用，与之相反，如C#或Java必须使用readonly或是final来做到这一点。此时，使用函数式编程语言时的思维观念便会有所不同了。

　　F#是微软随VS 2010推出的一门函数式编程语言，它基于OCaml的核心部分，因此是一门强类型编程语言，并支持一些如模式匹配，类型推断等现代函数式编程语言的特性。在此之上，F#又增加了异步工作流，度量单位等较为前沿的语言功能。在F#中如果要计算一个列表所有元素之和，也可以使用命令式的风格来编写代码：

　　let sumSquaresI l =

　　let mutable acc = 0

　　for x in l do

　　acc 《- acc + sqr x

　　acc

　　acc只不过，F#中的一切默认都是不可变的，开发人员需要使用mutable关键字来声明一个可变的状态。事实上，在F#中更典型做法是：

　　let rec sumSquaresF l =

　　match l with

　　| ［］ -》 0

　　| head ：： tail -》 sqr head + sumSquaresF tail

　　在数学里我们经常使用递归，把一个公式分解成几个变化的形式，以此进行递归的定义。纯函数式的代码其“数学性”较强，如果您分析上面这段代码，会发现它几乎就是标准的数学定义。在编程时我们也使用递归的做法，编译器会设法帮我们转化成尾调用或是循环语句。

　　动态语言与元编程

　　动态语言不会严格区分“编译时”和“运行时”。对于一些静态编程语言（如C#），往往是先进行编译，此时可能会得到一些编译期错误，而对于动态语言来说这两个阶段便混合在一起了。常见的动态语言有JavaScript，Python，Ruby，LISP等等。动态语言和静态语言各有一些优势，这也是两个阵营争论多年的内容。不过Anders认为它们各自都有十分重要的优点，而未来不属于其中任何一方。他表示，从编程语言发展过程中可以观察到两种特点正在合并的趋势，未来应该属于两者的杂交产物。

　　许多人认定动态语言执行起来很慢，也没有类型安全等等。例如有这样一段代码：

　　var a = 0， n = 10;

　　for （var i = 0; i 《 n; i++） {

　　a += i;

　　}

　　这段代码在C#和JavaScript中都是合法的，但是它们的处理方式大相径庭。在C#中，编译器可以推断出a和n都是32位整数，则for循环和相加操作都只是简单的CPU指令，自然效率很高。但是对于JavaScript等动态类型语言来说，var只代表了“一个值”，它可以是任意类型，因此这里其实还会包含一个“类型标记”，表明它在运行时是什么类型的对象。所以两者的区别之一便是，表示同样的值在动态语言中会有一些额外的开销，在如今的CPU中，“空间”也意味着“速度”，所以较大的值便需要较长时间进行处理，这里便损失了一部分效率。此外JavaScript在计算a加i时，那么必须先查看两个变量中的类型标记，根据类型选择出合适的相加操作，然后加载两个值，最后再进行加法操作，一旦越界了还要利用double。很明显在这里也会带来许多开销。一般来说，动态语言是使用解释器来执行的，因此还有一些解释器需要的二进制码，把这些性能损失全部加起来以后，便会发现执行代码时需要10倍到100倍的性能开销。

　　不过近几年出现的一些动态虚拟机或引擎将此类情况改善了许多。如今大部分的JavaScript引擎使用了JIT编译器，于是便省下了解释器的开销，这样性能损失便会减小至3到10倍。而在过去的两三年间，JIT编译器也变得越来越高效，浏览器中新一代的适应性JIT编译器，如TraceMonkey，V8，还有微软在IE 9中使用的Chakra引擎。这种适应性的JIT编译器使用了一部分有趣的技术，如Inline Caching、Type Specialization、Hidden Classes、Tracing等等，它们可以将开销降低至2到3倍的范围内，这种效率的提升可谓十分神奇。在Anders看来，JavaScript引擎可能已经接近了性能优化的极限，我们在效率上可以提升的空间已经不多。不过他同样认为，如今JavaScript语言的性能已经足够快了，完全有能力作为Web客户端的统治性语言。

　　动态语言的关键之一便是“元编程”，“元编程”实际上是“代码生成”的一种别称，在日常应用中开发人员其实经常依赖这种做法了。在某些场景下使用动态语言会比静态语言更加自然一些。例如在C#或Java里使用ORM时，一种传统做法是让代码生成器去观察数据库，并生成一大堆代码，然后再编译。而动态语言并没有编译期和执行期的区别，例如在Ruby on Rails中使用ActiveRecord便无须定义各式字段。

　　Anders谈到，他和他的团队也在努力改进静态语言的元编程能力，如他们正在实现的“编译器即服务（Compiler as a Service）”。传统的编译器是一个黑盒，一端输入代码，而另一端便会生成.NET程序集等数据，开发人员很难参与或理解它的工作。但是在很多时候，开发人员并不一定需要编译器来生成程序集，他们需要的是一些树状的表现形式，然后对它进行识别和重写。因此，开发人员可能会越来越需要一些开放编译器功能的API。这么做可以让静态类型语言获得许多有用的功能，包括元编程以及可操作的完整对象模型等等。

　　并发

　　Anders看来，多核革命的一个有趣之处在于，它会要求并发的思维方式有所改变。传统的并发思维，是在单个CPU上执行多个逻辑任务，使用旧有的分时方式或是时间片模型来执行多个任务。但是如今的并发场景则正好相反，是要将一个逻辑上的任务放在多个CPU上执行。这改变了我们编写程序的方式，这意味着对于语言或是API来说，我们需要有办法来分解任务，把它拆分成多个小任务后独立的执行，而传统的编程语言中并不关注这点。

　　使用目前的并发API来完成工作并不容易，比如Thread，ThreadPool，Monitor等等，开发人员很难走的太远。不过在.NET 4.0中提供了一套强大的框架，即.NET并行扩展（Parallel Extensions），这是一种现代的并发模型，将逻辑上的任务并发与实际使用的的物理模型分离开来。以前的API都是直接处理线程等基础元素，不过利用.NET并行扩展中的任务并行库（Task Parallel Library），并行LINQ（Parallel LINQ）以及协调数据结构（Coordination Data Structures）让开发人员可以直接关注逻辑上的任务，而不必关心它们是如何运行的，或是使用了多少个线程和CPU等等。利用LINQ这样的DSL也有助于写出并行的代码，如果使用普通的for循环配合线程池来实现并行，则开发人员很容易在各种API里失去方向。

　　不过事实上，编写并行的代码依然很困难，尤其是要识别出可以并行的地方。Anders认为很多时候还是需要编程语言来关注这方面的事情（如下图）。比如“隔离性（Isolation）”，即编译器如何发现这段代码是独立的，便可以将其安全地并发执行。某段代码创建了一个对象，在分享给其他人之前，我们对它的改变是安全的，但是一旦将其共享出去以后便完全不同了。因此理想中的类型系统应该可以跟踪到这样的共享，如Linear Types——这在学术界也有一些研究。编程语言也可以在函数的纯洁性（Purity）方面下功夫，如关注某个函数是否有副作用，有些时候编译器可以做这方面的检查，它可以禁止某些操作，以此保证我们写出无副作用的纯函数。另外便是不可变性（Immutability），目前的语言，如C#或VB，我们需要额外的工作才能写出不可变的代码。Anders认为合适的做法应该是在语言层面上更好的支持不可变性。这些都是在并发方面需要考虑的问题。

　　Anders还提到了他在思考并发语言特性时所遵循的原则：一个语言特性不应该针对某个特定的并发模型，而应该是一种通用的，可用于各种不同的并发场景的特性，就像隔离性、纯洁性及不可变性那样。语言拥有这样的特性之后，就可以用于构建各种不同的API，各种并发方式都可以利用到核心的语言特性。

　　总结

　　Anders认为，对于编程语言来说，现在出现了许多有趣的东西，也是个令人激动的时刻。在过去，大约是1995到2005年，的确可以说是一个编程语言的黄金时期。当Java出现的时候，编程语言的门槛变得平坦了，一切都是Java，似乎其他编程语言都完蛋了，程序设计者也没什么可做的。不过大家又逐渐发现，其实这远没有结束。现在回顾起来，会发现这段时间又出现了许多有趣的编程语言，这其实也代表了我们在编程领域上的进步。

　　计算机编程语言的几个发展阶段及特点

　　一、面向机器的语言

　　最开始的时候，每种计算机都有自己的机器指令。例如，某种型号的计算机用8位二进制信息10001010表示加法指令，等等。所以用这种机器语言进行程序设计是很累的工作，而且代码难以阅读和理解，还有就是可能同样的任务，不同的计算机之间指令有所不同。后来用一些简单的符号来代替二进制指令，但汇编语言仍是面向机器的语言，需针对不同的机器来编写不同的代码。习惯上称机器语言、汇编语言为低级语言。

　　二、面向过程语言

　　20世纪60年代出现了过程设计语言，如c语言等。语言把代码组成叫做过程或函数的块，每个块的目标是完成某个任务。这样的语言的好处是，不必再去考虑机器指令的细节，过程语言的语法更接近人们的自然语言，人们只需按照自己的意图来编写各个函数，而习惯上称过程语言为高级语言。

　　三、面向对象语言

　　对于许多应用型问题，人们希望写出易维护、易拓展、易复用的程序代码。过程语言只有解决问题的过程（方法），而没有指明对象。那么因此面对对象语言的一个简单理念就是：需完成某种任务时，首先想到，谁去完成任务，即那个对象去完成任务；提到数据，首先想到这个数据是哪个对象的。

　　在我眼里，基于对象的编程语言，优点不仅如上所讲，更重要的是它鼓励创造性的设计。

　　面向对象编程主要体现三个特征：封装性、继承、多态。

　　结语

　　关于计算机编程语言的相关介绍就到这了，如有不足之处欢迎指正。

相关阅读推荐：计算机编程语言有哪些

相关阅读推荐：机器人十大流行编程语言汇总

打开APP阅读更多精彩内容