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-02-27
ML for the Working Programmer 2025 pdf epub mobi 電子書 下載
如果以前沒有接觸過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意味著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....
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
評分如果以前沒有接觸過FP,比如徹底的C/匯編程序員,看這本書能慢慢建立一些不同的編程模式; 如果已經對haskell或者其他的FPL有一些瞭解,看這本書可能會嫌囉嗦瞭,可以去看看<<Programming in Standard ML>>,內容不算很完整,不過要點都到瞭。
圖書標籤: 函數式編程 ML FP 編程 程序設計 Programming 計算機 計算機科學
最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分非常好非常好
評分非常好非常好
評分哦,這本書的中文翻譯版本我早看過瞭 http://ishare.iask.sina.com.cn/f/24963419.html
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
ML for the Working Programmer 2025 pdf epub mobi 電子書 下載