|
|
| Ml for the Working Programmer | $50.20 |
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. Copyright (C) Muze Inc. 2005. For personal use only. All rights reserved.
Autor:Laurence C. Paulson |  |
| La nueva edición de este libro de texto acertado y establecido retiene sus dos intenciones originales de explicar como al programa en la lengua ML, y enseñar el fundamentals de la programación funcional. El cambio principal es la cobertura temprana y prominente de módulos, que el autor extensivamente usa en todas partes. Además, Paulson ha vuelto a escribir totalmente el primer capítulo para hacer el libro más accesible a estudiantes que no tienen ninguna experiencia de lenguajes de programación. El autor describe los rasgos generales de la nueva Biblioteca Estándar para la versión revisada de ML, y da muchos nuevos ejemplos, p.ej polinomio modos aritméticos y nuevos de tratar colas de prioridad. Finalmente él ha actualizado completamente las referencias. Doctor Paulson tiene la experiencia práctica extensa de ML, y ha acentuado su uso como un instrumento para la ingeniería de software; el libro contiene muchos pedazos útiles del código, que están libremente disponibles (vía el Internet) del autor. Él muestra como usar listas, árboles, funciones de orden más alta y estructuras de datos infinitas. Él incluye muchos ejemplos ilustrativos y prácticos, cubriendo clasificación, operaciones de la matriz, y aritmética de polinomio. Él describe realizaciones funcionales eficientes de series, colas, y colas de prioridad. Los ejemplos más grandes incluyen un analizador sintáctico superior abajo general, un reductor de cálculo de lambda y un teorema prover. Un capítulo es dedicado al razonamiento formal sobre programas funcionales. La combinación de explicación cuidadosa y consejo práctico asegurará que este libro de texto sigue siendo el texto preferido para muchos cursos en ML para estudiantes en todos los niveles. Copyright (C) Muze Inc 2005. Para uso privado sólo. Reservados todos los derechos. | Buy Now |
|
|
