本書i羊細講解如何使用ML語言進行程序設計，并介紹函數式程序設計的基本原理。 書中特別講述了為ML的修訂版所設計的新標準庫的主要特性，并且給出大量例子， 涵蓋 排序、矩陣運算、多項式運算等方面。大型的例子包括一個一般性的自頂向下語法分析 器、一個λ-i寅算歸約程序和一個定理證明機. 書中也講述了關于數組、隊列、優先隊列 等高效的函數式實現，并且有一章專門討論函數式程序的形式論證. 本書可作為高等院校計算機專業相關課程的教材，也適合廣大程序設計人員參考。