This book teaches the methods of functional programming--in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University. The author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures and includes a chapter on formal reasoning about functional programming.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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 prominent coverage of modules.Review:
"Paulson is a leader in the field of computer-aided proof, and that field inspires the book's best examples, including a tautology checker, a parser, and a pretty good printer. There is a fascinating collection of search algorithms, which illustrate with good effect how ML can mimic 'lazy' evaluation. These examples culminate in a wonderful final chapter that presents a theorem prover, of just the kind ML was created to support....Paulson writes with vigour and with humour. The book is spiced with jokes and polemics....He minces few words, and as a result he occasionally overstates his case. But better to speak forcefully than to say nothing at all." Philip Wadler, Times Higher Education Supplement
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Descrizione libro Cambridge University Press, 1992. Paperback. Condizione libro: Good. Sent within 24 hours. Expedited UK delivery available. Codice libro della libreria BBI2486692
Descrizione libro Cambridge University Press, 1992. Condizione libro: Fair. This book has soft covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Codice libro della libreria 2826978
Descrizione libro Cambridge University Press. Paperback. Condizione libro: GOOD. Gently used may contain ex-library markings, possibly has some minor highlighting, textual notations, and or underlining. Text is still easily readable. Codice libro della libreria 2786624213
Descrizione libro Cambridge University Press, 1993. Paperback. Condizione libro: Used: Good. Codice libro della libreria SONG0521422256