函數式程序設計
定 價：¥39
中 教 價：¥31.20 (8.00折）
庫 存 數： 1
叢 書 名：高等學校計算機專業系列教材
本書共分4章: 第1章介紹不帶類型的λ-演算、簡單類型的λ-演算和F系統, 主要討論語法和β-歸約語義; 第2章介紹Coq,重點是從函數式程序設計的角度展開討論, 內容涉及自然數函數、列表、多態數據結構、依賴類型、高階函數、柯里-霍華德關聯以及余歸納類型; 第3章介紹OCaml這門通用程序設計語言, 除了基本的程序設計概念, 還討論函子和單子這樣比較高級的語言特征; 第4章提供了部分習題的參考答案, 以方便感興趣的讀者自行學習。
新書資訊 新書推薦