圖書標籤: 函數式編程 ML FP 編程 程序設計 Programming 計算機 計算機科學
发表于2024-11-22
ML for the Working Programmer pdf epub mobi txt 電子書 下載 2024
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.
最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分非常好非常好
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
評分哦,這本書的中文翻譯版本我早看過瞭 http://ishare.iask.sina.com.cn/f/24963419.html
評分最好懂一些lambda和combinator,不然讀起來會不知其所以然
这本书适合没有接触过functional programming的同学,也适合没有学过编程的同学。作者显然不满足于写一个语言教程,而是着重于灌输fp知识。 所以在我看来这本书的废话稍微多了些。好几次我迅速的向后跳,但有意思的是每次我都被迫backtracing。因为他经常引用之前的例子和作业...
評分如果以前没有接触过FP,比如彻底的C/汇编程序员,看这本书能慢慢建立一些不同的编程模式; 如果已经对haskell或者其他的FPL有一些了解,看这本书可能会嫌啰嗦了,可以去看看<<Programming in Standard ML>>,内容不算很完整,不过要点都到了。
評分建议先看SICP,再看这本书,首先LISP语法比较简单,其次这本书会经常拿ML跟LISP做对比。 SICP在大的方向上比较清晰,章节安排上更注重思想的延伸;而这本书的确如书名一样,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 for the Working Programmer pdf epub mobi txt 電子書 下載 2024