本書是關於ML程序設計的經典教材,詳細介紹如何使用 ML語言進行程序設計,並講解函數式程序設計的基本原理。
書中含有大量例子,涵蓋瞭排序、矩陣運算、多項式運算等方麵。大型的例子包括一個一般性的自頂嚮下語法分析器、一個一演算歸約程序和一個定理證明機。書中也講述瞭關於數組、隊列、優生隊列等高效的函數式實現,並且有一章專門討論函數式程序的形式論證。本書的代碼均可以從作者網站(http://www.cl.cam.ac.uk/users/lcp/)得到。
本書詳細講解如何使用ML語言進行程序設計,並介紹函數式程序設計的基本原理。書中特彆講述瞭為ML的修訂版所設計的新標準庫的主要特性,並且給齣大量例子,涵蓋排序、矩陣運算、多項式運算等方麵。大型的例子包括一個一般性的自頂嚮下語法分析器、一個l-演算歸約程序和一個定理證明機。書中也講述瞭關於數組、隊列、優先隊列等高效的函數式實現,並且有一章專門討論函數式程序的形式論證。
本書可作為高等院校計算機專業相關課程的教材,也適閤廣大程序設計人員參考。
發表於2024-06-16
ML程序設計教程 2024 pdf epub mobi 電子書 下載
建議先看SICP,再看這本書,首先LISP語法比較簡單,其次這本書會經常拿ML跟LISP做對比。 SICP在大的方嚮上比較清晰,章節安排上更注重思想的延伸;而這本書的確如書名一樣,ML的教程,從簡單的類型,錶,樹到匿名函數無窮錶,抽象類型,章節安排完全是學習語言的順序。這樣造成...
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分ML意味著meta language, 本書是學習ML排名第一的課本. 英文標題信息是這樣的: PAULSON, LAWRENCE C. (Univ. of Cambridge, Cambridge, UK) ML for the working programmer (2nd ed.). Cambridge University Press, New York, NY, 1996, 478 pp., $32.95, ISBN 0-521-56543-X....
圖書標籤: ML 函數式編程 FP 計算機科學 編程 計算機 編程語言 程序設計
巨好的一本書, 內容廣,代碼翔實,還有2.5章節太難看不懂
評分很有意思的書,翻過一遍瞭,還得再多翻幾遍,想買一本紙質的,但是已經不賣瞭?
評分截至收藏本書前,書架上隻有兩本計算機書是被我反復研讀過的:SICP和這本。其實何必呢,編程隻是樂趣,我沒想過做程序員啊
評分很有意思的書,翻過一遍瞭,還得再多翻幾遍,想買一本紙質的,但是已經不賣瞭?
評分新年的第一本技術書。大概兩年前打算通過閱讀這本書入門函數式編程,但是看完此書纔發現已經潛移默化地學會瞭很多,所以看起來也尤其地快(當然也跳過瞭很多習題...)。
ML程序設計教程 2024 pdf epub mobi 電子書 下載