ML程序設(shè)計(jì)教程

本書是關(guān)于ML程序設(shè)計(jì)的經(jīng)典教材，詳細(xì)介紹如何使用ML語言進(jìn)行程序設(shè)計(jì)，并講解函數(shù)式程序設(shè)計(jì)的基本原理。

書中含有大量例子，涵蓋了排序、矩陣運(yùn)算、多項(xiàng)式運(yùn)算等方面。大型的例子包括一個(gè)一般性的自頂向下語法分析器、一個(gè)一演算歸約程序和一個(gè)定理證明機(jī)。書中也講述了關(guān)于數(shù)組、隊(duì)列、優(yōu)生隊(duì)列等高效的函數(shù)式實(shí)現(xiàn)，并且有一章專門討論函數(shù)式程序的形式論證。本書的代碼均可以從作者網(wǎng)站（http://www.cl.cam.ac.uk/users/lcp/）得到。

本書詳細(xì)講解如何使用ML語言進(jìn)行程序設(shè)計(jì)，并介紹函數(shù)式程序設(shè)計(jì)的基本原理。書中特別講述了為ML的修訂版所設(shè)計(jì)的新標(biāo)準(zhǔn)庫的主要特性，并且給出大量例子，涵蓋排序、矩陣運(yùn)算、多項(xiàng)式運(yùn)算等方面。大型的例子包括一個(gè)一般性的自頂向下語法分析器、一個(gè)l-演算歸約程序和一個(gè)定理證明機(jī)。書中也講述了關(guān)于數(shù)組、隊(duì)列、優(yōu)先隊(duì)列等高效...

本書是關(guān)于ML程序設(shè)計(jì)的經(jīng)典教材，詳細(xì)介紹如何使用ML語言進(jìn)行程序設(shè)計(jì)，并講解函數(shù)式程序設(shè)計(jì)的基本原理。

書中含有大量例子，涵蓋了排序、矩陣運(yùn)算、多項(xiàng)式運(yùn)算等方面。大型的例子包括一個(gè)一般性的自頂向下語法分析器、一個(gè)一演算歸約程序和一個(gè)定理證明機(jī)。書中也講述了關(guān)于數(shù)組、隊(duì)列、優(yōu)生隊(duì)列等高效的函數(shù)式實(shí)現(xiàn)，并且有一章專門討論函數(shù)式程序的形式論證。本書的代碼均可以從作者網(wǎng)站（http://www.cl.cam.ac.uk/users/lcp/）得到。

本書詳細(xì)講解如何使用ML語言進(jìn)行程序設(shè)計(jì)，并介紹函數(shù)式程序設(shè)計(jì)的基本原理。書中特別講述了為ML的修訂版所設(shè)計(jì)的新標(biāo)準(zhǔn)庫的主要特性，并且給出大量例子，涵蓋排序、矩陣運(yùn)算、多項(xiàng)式運(yùn)算等方面。大型的例子包括一個(gè)一般性的自頂向下語法分析器、一個(gè)l-演算歸約程序和一個(gè)定理證明機(jī)。書中也講述了關(guān)于數(shù)組、隊(duì)列、優(yōu)先隊(duì)列等高效的函數(shù)式實(shí)現(xiàn)，并且有一章專門討論函數(shù)式程序的形式論證。

本書可作為高等院校計(jì)算機(jī)專業(yè)相關(guān)課程的教材，也適合廣大程序設(shè)計(jì)人員參考。