The Functional Approach to Programming

The Functional Approach to Programming

3.64 (14 ratings by Goodreads)
By (author)  , By (author)  , Translated by 

List price: US$499.99

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.show more

Product details

  • Online resource
  • Cambridge University Press (Virtual Publishing)
  • Cambridge, United Kingdom
  • English
  • 55 b/w illus.
  • 1139173014
  • 9781139173018

Review quote

"...a valuable contribution to programming practice...Cousineau and Mauny convincingly demonstrate the elegance and conciseness of the functional approach." Computing Reviewsshow more

Table of contents

Introduction; Part I. Basic Principles: 1. Expressions; 2. Data structures; 3. Semantics; 4. Imperative aspects; Part II. Applications: 5. Exact arithmetic; 6. Formal terms, filtering, and unification; 7. Balanced trees; 8. Graphs and problem resolution; 9. Syntactic analysis; 10. Geometry and designs; Part III. Implementation: 11. Evaluation; 12. Compilation; 13. Types and typing; Appendix 1. Help for Caml Light 0.6; Appendix 2. How to Get Caml, MLgraph, and the examples; Bibliography; Index.show more

Rating details

14 ratings
3.64 out of 5 stars
5 14% (2)
4 50% (7)
3 21% (3)
2 14% (2)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X