ML程式設計教程

書中也講述了關於數組、佇列、優生佇列等高效的函式式實現，並且有一章專門討論函式式程式的形式論證。 本書詳細講解如何使用ML語言進行程式設計，並介紹函式式程式設計的基本原理。 書中也講述了關於數組、佇列、優先佇列等高效的函式式實現，並且有一章專門討論函式式程式的形式論證。

內容介紹

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