编程语言导论/前言

前言

如今，使用中的编程语言种类繁多。维基百科中列出的 650 多种不同的编程语言 列表 就是最好的证明。充分了解这种多样性对于许多原因至关重要。首先，它为计算机科学家提供了新的视角。在一个语言中一开始很难解决的问题，可能在另一个语言中却非常容易解决。因此，知道在特定领域使用哪种语言，可能会大大减少构建应用程序的努力。

此外，编程语言本身就是一个引人入胜的话题。它们的 历史 与计算机科学的历史交织在一起。许多获得 图灵奖 的人，例如 约翰·麦卡锡 或 约翰·巴克斯，都直接参与了一些编程语言的项目。而计算机科学中一些最激烈的讨论，都是由编程语言的设计引发的。例如，许多现代编程语言不再提供 goto 命令。在早期的设计中并非如此。经过多年的讨论，加上 一封信 由 埃兹格尔·迪克斯特拉（本身就是图灵奖获得者）签署，才将 goto 命令从无处不在变得销声匿迹。

这本书旨在描述编程语言领域的“动物园”。这里的内容收集自博客、语言手册、论坛以及其他许多来源；然而，许多例子都来自韦伯博士的书。因此，我们遵循他为其书籍 现代编程语言 所准备的幻灯片中使用的组织结构。因此，我们首先描述 ML 编程语言。接下来，我们继续介绍 Python，最后是 Prolog。我们使用这些特定语言来介绍与通用编程语言设计和实现相关的基本概念。