類型和程式設計語言

《類型和程式設計語言》是2005年電子工業出版社出版的圖書，作者是皮爾斯。

內容介紹

類型理論在程式設計語言的發展中起著舉足輕重的作用，成熟的類型系統可以幫助完善程式設計本身，幫助運行系統檢查程式中的語義錯誤。

要理解類型系統在程式設計語言中發揮的作用，本書將是首選讀物。本書內容覆蓋基本操作語義及其相關證明技巧、無類型lambda演算、簡單類型系統、全稱多態和存在多態、類型重構、子類型化、囿界量詞、遞歸類型、類型運算元等內容。本書既注重內容的廣度，也注重內容的深度，實用性強。在引入語言的語法對象時先舉例，然後給出形式定義及基本證明，在對理論的進一步研究後給出了類型檢查算法，並對每種算法都給出了OCaml程式的具體實現。本書對類型理論中的概念都有詳細的闡述，為讀者提供了一個進一步理論學習的基礎。本書內容廣泛，讀者可以根據自己的需要有選擇地深入閱讀。

內容特點

本書適合從事程式設計的研究人員和開發人員，以及程式設計語言和類型理論的研究人員閱讀。可作為計算機專業高年級學生、研究生的學習教材。