08 | 语言的模型：如何打破单一语言局限，让设计更好地落地？

最新推荐文章于 2024-09-24 08:48:12 发布

_Rye_

最新推荐文章于 2024-09-24 08:48:12 发布

阅读量970

点赞数 19

分类专栏：软件设计之美文章标签：开发语言

本文链接：https://blog.csdn.net/qq_37756660/article/details/136643312

版权

软件设计之美专栏收录该内容

36 篇文章 7 订阅

订阅专栏

经过前面几讲，我们已经学习了如何去了解一个现有软件的设计。从这一讲开始，我们就进入到新的模块，讨论如何设计一个软件。做设计之前，我们要先知道手边有哪些工具。所以在这个模块开启之初，我们先来讨论程序设计语言。

或许你会觉得，程序设计语言有啥好讨论的？哪个程序员没有一门看家的程序设计语言呢？不知道你是否遇到过这样的问题：

面向对象用来组织程序是好，但我用的是 C 语言；

我用的是 C++，函数式编程的好，跟我有什么关系；

动态语言那些特性很好，可惜我用的是 Java；

……

如果你这么想，说明你被自己的看家本事给局限住了，这种思维方式会让你即便学到了更多的好东西，也只能无可奈何。

其实，程序设计语言之间没有那么泾渭分明的界限，程序员唯有多学习几门语言，才能打破语言的局限，让设计更好地落地。你可以根据项目特点选择合适的语言，也可以将其它语言一些优秀的地方借鉴过来。Andrew Hunt 和 David Thomas 在《程序员修炼之道》（The Pragmatic Programmer）中给程序员们提了一项重要的建议：每年至少学习一门新语言。

可是，语言那么多，我要一个一个都学过去吗？学语言到底在学什么呢？

其实，程序设计语言本身也是一个软件，它也包含模型、接口和实现。而我们学习程序设计语言主要是为了学习程序设计语言提供的编程模型，比如：不同的程序组织方式，不同的控制结构等等。因为不同的编程模型会带给你不同的思考方式。

既然要学习编程模型，我们就要先知道编程模型设计的来龙去脉，所以，今天我先带你领略一下程序设计语言的发展历程。

程序设计语言发展简史

我们今天接触到的程序设计语言都是图灵完备的。这里的“图灵完备”指的是语言指定的数据操作规则能够实现图灵机的全部功能（图灵机的概念是由阿兰·图灵提出的，图灵机为计算机能够解决的问题划定了一个边界）。所以，图灵机是所有程序设计语言最底层的模型，程序设计语言都是在这个基础上生长出来的，包括众所周知的计算机基础：用 0 和 1 编码。

我们今天的计算机能够识别的都是 0 和 1，但真正用 0 和 1 直接写代码的人少之又少，因为实在太麻烦了。所以，早在计算机诞生之初，就产生了汇编语言，它可以将那些 0101 的操作符变成更容易记住的 ADD、MOV 之类的指令。

相比于 01 串，汇编虽然进步了一些，但人们很快就发现，用汇编写程序也是非常痛苦的事情，因为只有对计算机了如指掌，才能写好汇编。更可怕的是，即便你熟练掌握了一种计算机的汇编语言，换成另外一种计算机，你也必须从头学过。

这时，就轮到高级程序设计语言登场了。

第一门被广泛使用的高级程序设计语言是 Fortran，它为程序设计语言的发展奠定了基础。比如，一些基本控制结构出现了，数据开始拥有了类型（类型就是一种对内存数据的解释方式）。虽然这些东西在今天看来非常简单，但和那个年代使用的汇编相比，简直是一个巨大的飞跃。

Fortran 对于计算机的发展起到了巨大的推动作用，人们也逐渐认识到高级程序设计语言对于开发效率的提高。接下来，人们开发了各种高级程序设计语言，不断地探索怎样写好程序。

早期程序设计语言探索的集大成者就是 C 语言，它提供了对于计算机而言最为恰当的抽象，屏蔽了计算机硬件的诸多细节。时至今日，C 语言依然受众广泛。

随着高级程序设计语言的发展，门槛逐步降低，人们可以开发的程序规模也逐渐膨胀。这时候，如何组织程序成了新的挑战。有一种语言搭着 C 语言的便车将面向对象的程序设计风格带入了主流视野，这就是 C++。很长一段时间内，C++ 成为了行业中最主流的选项，既兼容 C 语言，又提供了很好的程序组织方式。

虽然各种高级程序设计语言已经屏蔽了很多细节，但有一个问题始终没有得到很好的解决，也由此引发了更多的问题，这就是内存管理。其实，人们早就在尝试各种屏蔽内存管理的方式，但因为早期计算机硬件性能有限，所以没有任何一种方式能够成为行业主流。

后来，计算机硬件的能力得到了大幅度提升，这让那些在故纸堆里的技术又焕发了新的活力。这个阶段的胜利者是 Java，一方面，它支持面向对象编程；另一方面，它还有垃圾回收机制——一种内存管理的方式。

Java 的路其实也很坎坷，因为它早期在个人电脑上的尝试并不算成功。后来选择了企业级开发的赛道，才有机会展现自己的优势。因为企业级服务器本身性能优于个人电脑，对 Java 有更高的容忍度，它才得到了机会，不断进行自身的优化。

当硬件不再是程序设计语言的发展障碍之后，程序设计语言又该如何发展呢？

从前面的历程不难看出，程序设计语言的发展就是一个“逐步远离计算机硬件，向着待解决的问题靠近”的过程。所以，程序设计语言接下来的发展方向就是探索怎么更好地解决问题了。

前面说的这些只是程序设计语言发展的主流路径，其实还有一条不那么主流的路径也一直在发展，就是函数式编程的程序设计语言，这方面的代表就是 LISP。

在这条路上，刚开始，很多人都是偏学术风格的，他们更关心的是解决方案是否优雅，也就是说，如何解决问题，如何一层层构建抽象。他们也探索更多的可能，垃圾回收机制就是从这里来的。但同样受限于当时硬件的性能，这条路上的探索在很长一段时间之内都只是一个小众游戏。

当硬件的性能不再成为阻碍，如何解决问题开始变得越来越重要时，函数式编程终于和程序设计语言发展的主流汇合了。促进函数式编程引起广泛重视也还有一个硬件因素：多核。

多核的出现，本身是 IT 行业应对 CPU 发展进入瓶颈期的一个解决方案，但它却打破了很多程序员只习惯于利用一个 CPU 写程序的传统方式。

为了利用多核的优势，人们探索了各种方案，今天看到的各种并发模型、异步模型等解决方案都从那时开始得到了蓬勃的发展。函数式编程在这个方面的探索就是利用自己声明式的表达方式屏蔽了硬件差异。让人们注意到函数式编程的价值的就是著名的 MapReduce。

函数式编程的兴起，让那些在函数式编程社区的探索随之兴起，比如，声明式编程、DSL、元编程等等。一些后出现的程序设计语言开始将面向对象和函数式编程二者融合起来，比如 Scala。而像 Java 和 C++ 这些“老战士”则逐渐地将函数式编程的支持加入到语言之中。

相比于这些“正规军”，还有一股力量也逐渐从边缘走上了舞台，这就是动态语言，代表语言有 Perl、Python、Ruby、PHP 等等。以前，人们更喜欢用“脚本语言”称呼这类程序设计语言，这个名字表明，它就是为了简单地解决一些特定的问题而出现的。所以，在人们心目中，它们显得并不那么正式。但它们简单、轻巧的特性有效地降低了入门的门槛，也赢得了一大批拥趸。

语言的发展就是一个互相学习和借鉴的过程。以前，动态语言的弱项在于不适用于规模比较大的工程，而近些年来，随着动态语言用户的增多，配套的工具也逐渐多了起来，动态语言项目的规模也逐渐增大。而在主航道的程序设计语言，也纷纷向动态语言学习，努力地简化代码编写的难度，比如，Java 和 C++ 都开始支持类型推演（Type Inference），目的就是让程序员少敲几个字符。

至此，简单地带你回顾了一下程序设计语言的发展历程，梳理了程序设计语言的发展脉络。从中不难看出，如果把程序设计语言当作一个软件，它的发展历程就是一个逐渐添加新模型的过程，而其发展的结果就是如今的开发门槛越来越低，能够开发的程序规模越来越大。