图书标签: 函数式编程 ML FP 编程 程序设计 Programming 计算机 计算机科学
发表于2024-12-25
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,不然读起来会不知其所以然
评分非常好非常好
评分非常好非常好
评分哦,这本书的中文翻译版本我早看过了 http://ishare.iask.sina.com.cn/f/24963419.html
评分最好懂一些lambda和combinator,不然读起来会不知其所以然
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....
评分建议先看SICP,再看这本书,首先LISP语法比较简单,其次这本书会经常拿ML跟LISP做对比。 SICP在大的方向上比较清晰,章节安排上更注重思想的延伸;而这本书的确如书名一样,ML的教程,从简单的类型,表,树到匿名函数无穷表,抽象类型,章节安排完全是学习语言的顺序。这样造成...
评分建议先看SICP,再看这本书,首先LISP语法比较简单,其次这本书会经常拿ML跟LISP做对比。 SICP在大的方向上比较清晰,章节安排上更注重思想的延伸;而这本书的确如书名一样,ML的教程,从简单的类型,表,树到匿名函数无穷表,抽象类型,章节安排完全是学习语言的顺序。这样造成...
评分如果以前没有接触过FP,比如彻底的C/汇编程序员,看这本书能慢慢建立一些不同的编程模式; 如果已经对haskell或者其他的FPL有一些了解,看这本书可能会嫌啰嗦了,可以去看看<<Programming in Standard ML>>,内容不算很完整,不过要点都到了。
ML for the Working Programmer pdf epub mobi txt 电子书 下载 2024