"...a valuable contribution to programming practice...Cousineau and Mauny convincingly demonstrate the elegance and conciseness of the functional approach." Computing Reviews
In functional programming, logical concepts are evident and programs are transparent so can be written quickly and cleanly. The authors introduce the subject via examples and explain what programs compute and how to reason about them. They show how the ideas can implemented in Caml, a dialect of ML, and give examples of how complex programs from various areas can be developed in close agreement with their specifications.Many exercises and examples are included throughout the book; solutions are also available. An appendix gives all the code used in the book in Standard ML.