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)庫(kù)的主要特性,并且給出大量例子,涵蓋排序、矩陣運(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)庫(kù)的主要特性,并且給出大量例子,涵蓋排序、矩陣運(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ì)人員參考。
