前 言
最好的程序設計語言就是編程思考中的概念上的世界。
--Alan Perlis，NATO軟件工程技術會議，羅馬，1969
程序設計語言為程序員寫齣一個好的程序提供瞭所需的抽象機製、組織原則以及控製結構。本書所介紹的是在程序設計語言中齣現的概念，即在程序設計語言的實現過程中産生的問題，以及語言的設計方式對程序開發産生的影響。
本書分為4個部分：
n 第1部分：函數與基本原理
n 第2部分：過程、類型、內存管理與控製
n 第3部分：模塊、抽象與麵嚮對象程序設計
n 第4部分：並發性與邏輯編程
第1部分將Lisp作為分析程序設計語言的示例，對其進行瞭簡單介紹，內容包括編譯器結構、解析、朗母達演算以及指稱語義。可計算性一章還涉及瞭編譯時程序分析和優化的限製。
第2部分通過過程化的Algol係列語言和ML，介紹瞭類型、內存管理和控製結構。
第3部分介紹使用抽象數據類型、模塊和對象來組織程序。由於目前麵嚮對象編程廣受推崇，於是我們對幾種麵嚮對象語言進行瞭對比。有專門的章節對Simula、Smalltalk、C++和Java進行研究和比較。
第4部分介紹瞭支持並發性的語言機製和邏輯編程。
本書麵嚮的讀者是有一定編程基礎的大學本科高年級學生和研究生新生。他們理解C或其他過程化語言，熟悉C++或者其他麵嚮對象的程序設計語言。如果讀者具備一些Lisp、Scheme或者ML的經驗將會對第1部分和第2部分的理解有所幫助，但不具備這些背景知識也同樣能學好這門課程。對算法和數據結構進行簡單分析的經驗也對理解本書有所幫助。例如，在比較某種構造的實現方式的時候，如果能夠區分常數時間復雜性、多項式時間復雜性和指數時間復雜性將有助於理解。
在學習瞭本書之後，讀者將會對過去40年中所使用過的各種程序設計語言有更好的理解，對程序設計語言的設計過程中齣現的問題和摺衷有更深的認識，也會對所使用的程序設計語言的利弊有更透徹的瞭解。由於不同的語言體現瞭不同的編程概念，把其他語言中的思想引入到自己所編寫的程序中將會提高讀者的編程能力。
緻謝
這本書的手稿源於我從1993年開始開設的一門程序設計語言課程（Standford CS 242）的筆記。每年都有精力充沛的助教幫助我調試課程的示例程序，設計課程作業和準備解決方案模型。該課程的組織和內容都受益於他們的建議。特彆感謝Kathleen Fisher，他在1993年和1994年擔任助教，並於1995年我不在校的時候教授課程。Kanthleen早些年幫我組織材料，並在1995年將我的手稿轉錄成在綫文檔。感謝Amit Patel主動組織布置作業和解決方案，感謝Vitaly Shmatikov對程序設計語言術語錶做齣的不懈努力。Anne Bracy、Dan Bentley和Stephen Freund仔細地校對瞭許多章節。
劍橋大學齣版社的Lauren Cowles、Alan Harvey和David Tranah給予我支持和幫助。我要特彆感謝Lauren對草稿的所有12章都仔細閱讀並詳細做注。同時也要感謝他們邀請的校閱者，他們對本書的早期版本提齣瞭很多寶貴的建議。Zena Ariola從本書的初稿開始就連續幾年在俄勒岡州大學教授此書，並提齣瞭很多很好的建議；還有很多其他講師也提供瞭很多建議。
最後，特彆感謝Krzystof Apt對"邏輯編程"一章做齣的貢獻。
John C. Mitchell
· · · · · · (收起)