The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g. polynomial arithmetic and new ways of treating priority queues. Finally he has completely updated the references. Dr. Paulson has extensive practical experience of ML, and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. He includes many illustrative and practical examples, covering sorting, matrix operations, and polynomial arithmetic. He describes efficient functional implementations of arrays, queues, and priority queues. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. A chapter is devoted to formal reasoning about functional programs. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML for students at all levels.
發表於2025-01-27
ML for the Working Programmer 2025 pdf epub mobi 電子書 下載
這本書適閤沒有接觸過functional programming的同學,也適閤沒有學過編程的同學。作者顯然不滿足於寫一個語言教程,而是著重於灌輸fp知識。 所以在我看來這本書的廢話稍微多瞭些。好幾次我迅速的嚮後跳,但有意思的是每次我都被迫backtracing。因為他經常引用之前的例子和作業...
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分建議先看SICP,再看這本書,首先LISP語法比較簡單,其次這本書會經常拿ML跟LISP做對比。 SICP在大的方嚮上比較清晰,章節安排上更注重思想的延伸;而這本書的確如書名一樣,ML的教程,從簡單的類型,錶,樹到匿名函數無窮錶,抽象類型,章節安排完全是學習語言的順序。這樣造成...
評分建議先看SICP,再看這本書,首先LISP語法比較簡單,其次這本書會經常拿ML跟LISP做對比。 SICP在大的方嚮上比較清晰,章節安排上更注重思想的延伸;而這本書的確如書名一樣,ML的教程,從簡單的類型,錶,樹到匿名函數無窮錶,抽象類型,章節安排完全是學習語言的順序。這樣造成...
評分建議先看SICP,再看這本書,首先LISP語法比較簡單,其次這本書會經常拿ML跟LISP做對比。 SICP在大的方嚮上比較清晰,章節安排上更注重思想的延伸;而這本書的確如書名一樣,ML的教程,從簡單的類型,錶,樹到匿名函數無窮錶,抽象類型,章節安排完全是學習語言的順序。這樣造成...
圖書標籤: 函數式編程 ML FP 編程 程序設計 Programming 計算機 計算機科學
非常好非常好
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分非常好非常好
ML for the Working Programmer 2025 pdf epub mobi 電子書 下載