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.
發表於2024-09-30
ML for the Working Programmer 2024 pdf epub mobi 電子書 下載
如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分這本書適閤沒有接觸過functional programming的同學,也適閤沒有學過編程的同學。作者顯然不滿足於寫一個語言教程,而是著重於灌輸fp知識。 所以在我看來這本書的廢話稍微多瞭些。好幾次我迅速的嚮後跳,但有意思的是每次我都被迫backtracing。因為他經常引用之前的例子和作業...
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分這本書適閤沒有接觸過functional programming的同學,也適閤沒有學過編程的同學。作者顯然不滿足於寫一個語言教程,而是著重於灌輸fp知識。 所以在我看來這本書的廢話稍微多瞭些。好幾次我迅速的嚮後跳,但有意思的是每次我都被迫backtracing。因為他經常引用之前的例子和作業...
圖書標籤: 函數式編程 ML FP 編程 程序設計 Programming 計算機 計算機科學
非常好非常好
評分哦,這本書的中文翻譯版本我早看過瞭 http://ishare.iask.sina.com.cn/f/24963419.html
評分哦,這本書的中文翻譯版本我早看過瞭 http://ishare.iask.sina.com.cn/f/24963419.html
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
ML for the Working Programmer 2024 pdf epub mobi 電子書 下載