- Hardcover: 439 pages
- Publisher: Cambridge University Press (25 July 1991)
- Language English
- ISBN-10: 0521390222
- ISBN-13: 978-0521390224
- Product Dimensions: 25.4 x 17.8 x 2.9 cm
- Average Customer Review: 5.0 out of 5 stars See all reviews (3 customer reviews)
- Amazon Bestsellers Rank: 4,388,158 in Books (See Top 100 in Books)
- See Complete Table of Contents
| ||||||||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
|
There is a newer edition of this item:
|
Product details |
More About the Author
Product Description
Review
"If you are an experienced programmer who wants to learn Standard ML, then this is the text for you. The book succeeds on two levels: as an introduction both to the strengths of functional programming in general, and to the intricacies of Standard ML in particular. It is filled with well-crafted programs that reveal the tricks of the functional programmer's trade. There is a readable explanation of the sophisticated modules system, and danger signs warn you of the few remaining infelicities in the language.....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 humor. The book is spiced with jokes and polemics." Philip Wadler, Times Higher Education Supplement
Product Description
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. This is meant to be a practical book; the author avoids dogma, emphasizes efficiency, and provides many useful and interesting programs. These include fast sorting functions and efficient function implementations of arrays, queues, and priority queues. Examples also include a ^D*l-calculus reducer and theorem prover. Most features of ML (including modules and imperative programming) are covered in depth and the book can be used without an ML reference manual. The reader is assumed to have some experience in programming in conventional languages such as C or Pascal. For such individuals, be they students, graduates or researchers, this will be a convincing introduction to functional programming.
Inside This Book
(Learn More)
Browse and search another edition of this book.
Browse and search another edition of this book.
First Sentence
The first ML compiler was built in 1974. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
The first ML compiler was built in 1974. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
What Other Items Do Customers Buy After Viewing This Item?
Customer Reviews
Most Helpful Customer Reviews
4 of 4 people found the following review helpful
Format:Paperback
This is a comprehensive book on functional programming (not on ML as the title might suggest). It will teach you all the essentials of functional programming in a very interesting and challenging way. This might be a bit hard if you have not done any programming before (even imperative) but if you consider yourself a good programmer you will enjoy this title a lot. The examples and excercises are not boring or typical in any sense and it keeps you learning from very begining til very end.
I used this book for selfteaching and it worked cool for me. It's not obscure or nonexplanatory in anyway. It's particularly rewarding to do the excercises. This are not the excercises for your fingers and keyboard (as many boring excercises in most of the programming handbooks) but these are rather for your brain. This way you improve not only your ML but your programming abilities in general as well.Your skills and understanding of programming langugaes can very probably improve a lot after reading this one. It's usefful even if you get a job in C++ then :)
It's probably the only programming language textbook I really enjoyed so far.
4 of 9 people found the following review helpful
Format:Paperback
This is a staggering tour de force of a book. It is ML's equivalent of SICP (and if you don't know what that is - well shame on you!). The book storms though the basics and goes on to lambda calculus interpreters and theorem provers (be cool - Paulson will carry you there). This is a faster paced intro than Ulman's ML book and is less funny or diverse than SICP - which of course is about FP in scheme rather than fop in ML. Read both SCIP and this book. Then read Bird on FP in Haskell. Then you might begin to know something. Then get a job in C++ :(
2 of 6 people found the following review helpful
Format:Paperback
As a student of Dr. Paulson, this book was an invaluable guide during his course on functional programming. However, I would recommend this book even as a stand-alone volume as Dr. Paulson covers this topic in a manner that makes the subject matter accessible even to newcomers to functional programming like myself. If only more textbooks were written like this one!
Would you like to see more reviews about this item?
Were these reviews helpful?
Let us know
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
