類型和程式設計語言

類型和程式設計語言

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

內容介紹

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

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

內容特點

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

相關詞條

熱門詞條

聯絡我們