類型理論在程序設計語言的發展中起著舉足輕重的作用，成熟的類型係統可以幫助完善程序設計本身，幫助運行係統檢查程序中的語義錯誤。
要理解類型係統在程序設計語言中發揮的作用，本書將是首選讀物。本書內容覆蓋基本操作語義及其相關證明技巧、無類型lambda演算、簡單類型係統、全稱多態和存在多態、類型重構、子類型化、囿界量詞、遞歸類型、類型算子等內容。本書既注重內容的廣度，也注重內容的深度，實用性強。在引入語言的語法對象時先舉例，然後給齣形式定義及基本證明，在對理論的進一步研究後給齣瞭類型檢查算法，並對每種算法都給齣瞭OCaml程序的具體實現。本書對類型理論中的概念都有詳細的闡述，為讀者提供瞭一個進一步理論學習的基礎。本書內容廣泛，讀者可以根據自己的需要有選擇地深入閱讀。
本書適閤從事程序設計的研究人員和開發人員，以及程序設計語言和類型理論的研究人員閱讀。可作為計算機專業高年級學生、研究生的學習教材。
具體描述
讀後感
原书写的很好读. 可惜翻译的很差. 拗口, 没有索引, 生僻的单词翻译的时候没有附上原英文单词. 总的来说, 翻译的很不认真.
評分原书写的很好读. 可惜翻译的很差. 拗口, 没有索引, 生僻的单词翻译的时候没有附上原英文单词. 总的来说, 翻译的很不认真.
評分原书写的很好读. 可惜翻译的很差. 拗口, 没有索引, 生僻的单词翻译的时候没有附上原英文单词. 总的来说, 翻译的很不认真.
評分原书写的很好读. 可惜翻译的很差. 拗口, 没有索引, 生僻的单词翻译的时候没有附上原英文单词. 总的来说, 翻译的很不认真.
評分原书写的很好读. 可惜翻译的很差. 拗口, 没有索引, 生僻的单词翻译的时候没有附上原英文单词. 总的来说, 翻译的很不认真.
用戶評價
隻看懂瞭中間兩章 也許搞定瞭behavioral subtyping再去看會恍然大悟
评分感覺自己水平未達到，讀起來吃力。翻譯也挺有問題的。
评分感覺自己水平未達到，讀起來吃力。翻譯也挺有問題的。
评分翻譯的很糟糕
评分翻譯的很糟糕
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有