程式語言導論/前言

前言

如今，使用中的程式語言種類繁多。維基百科中列出的 650 多種不同的程式語言 列表 就是最好的證明。充分了解這種多樣性對於許多原因至關重要。首先，它為計算機科學家提供了新的視角。在一個語言中一開始很難解決的問題，可能在另一個語言中卻非常容易解決。因此，知道在特定領域使用哪種語言，可能會大大減少構建應用程式的努力。

此外，程式語言本身就是一個引人入勝的話題。它們的 歷史 與計算機科學的歷史交織在一起。許多獲得 圖靈獎 的人，例如 約翰·麥卡錫 或 約翰·巴克斯，都直接參與了一些程式語言的專案。而計算機科學中一些最激烈的討論，都是由程式語言的設計引發的。例如，許多現代程式語言不再提供 goto 命令。在早期的設計中並非如此。經過多年的討論，加上 一封信 由 埃茲格爾·迪克斯特拉（本身就是圖靈獎獲得者）簽署，才將 goto 命令從無處不在變得銷聲匿跡。

這本書旨在描述程式語言領域的“動物園”。這裡的內容收集自部落格、語言手冊、論壇以及其他許多來源；然而，許多例子都來自韋伯博士的書。因此，我們遵循他為其書籍 現代程式語言 所準備的幻燈片中使用的組織結構。因此，我們首先描述 ML 程式語言。接下來，我們繼續介紹 Python，最後是 Prolog。我們使用這些特定語言來介紹與通用程式語言設計和實現相關的基本概念。