Functional Programming: Practice and Theory [Paperback]

Bruce J. Maclennan (Author)

Product Details

• Paperback: 608 pages
• Publisher: Addison-Wesley Professional; 1 edition (January 11, 1990)
• Language: English
• ISBN-10: 0201137445
• ISBN-13: 978-0201137446
• Product Dimensions: 9.5 x 6.6 x 1.2 inches
• Shipping Weight: 2 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #1,195,869 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

32 of 33 people found the following review helpful:

5.0 out of 5 stars Mathematical notation-based approach, December 11, 1999

By 

Rahman (CA, USA) - See all my reviews

This review is from: Functional Programming: Practice and Theory (Paperback)

The author utilizes mathematical notation rather than suffering through the inevitable inadequacies and limitations of any particular language (LISP, ML, Haskell, ..) However this actually simplifies the instruction, assuming the reader is familiar with set theory and the basics of formal logic.

The illustrations are primarily of the kind familiar to anyone involved in computer science, such as parse trees, flowcharts, and schematics of memory allocation. There are also mathematical type signatures.

Program examples include [very] infrequent ones in LISP, as well as occasional procedural examples given in antiquated-yet-adequate Pascal.

For the purpose of general instruction this may well be unexcelled in the field. Upon completion the reader will have a better underlying understanding of any particular functional language than peers who have been programming in one ad-hoc for a substantially longer time. Many of the general topics are fundamental to other language paradigms as well, including procedural and object-orientation (of which the author is an expert and contributor). Of particular note are the topics of recursion, binding, and computability issues, as discussed using the lambda calculus.

This is an extremely clear work, systematically covering subjects ranging through logic, computing and math without drawing any attention to distinctions between them. Throughout, it maintains a complete focus upon functional programming. In this way there is a satisfying flow to the book, allowing the incredibly rich and fine detail to be better understood in context.

It is important to take note that this work does not merely teach the reader about programming in a functional language. Many tangent subjects will become familiar in the process, including some which may have previously been a source of intimidation. And, as programming languages evolve, such a foundation will prove over time to be an invaluable resource.