《ML程式設計教程》是2005年機械工業出版社出版的圖書，作者是保羅森。本書是關於ML程式設計的經典教材，詳細介紹如何使用 ML語言進行程式設計，並講解函式式程式設計的基本原理。
基本介紹
- 作者：保羅森
- 譯者：柯韋
- ISBN：9787111161219
- 頁數：366
- 定價：45.00元
- 出版社：機械工業
- 出版時間：2005-5
內容介紹,適用範圍,
內容介紹
書中含有大量例子，涵蓋了排序、矩陣運算、多項式運算等方面。大型的例子包括一個一般性的自頂向下語法分析器、一個一演算歸約程式和一個定理證明機。書中也講述了關於數組、佇列、優生佇列等高效的函式式實現，並且有一章專門討論函式式程式的形式論證。本書的代碼均可以從作者網站（http://www.cl.cam.ac.uk/users/lcp/）得到。
本書詳細講解如何使用ML語言進行程式設計，並介紹函式式程式設計的基本原理。書中特別講述了為ML的修訂版所設計的新標準庫的主要特性，並且給出大量例子，涵蓋排序、矩陣運算、多項式運算等方面。大型的例子包括一個一般性的自頂向下語法分析器、一個l-演算歸約程式和一個定理證明機。書中也講述了關於數組、佇列、優先佇列等高效的函式式實現，並且有一章專門討論函式式程式的形式論證。
適用範圍
本書可作為高等院校計算機專業相關課程的教材，也適合廣大程式設計人員參考。
