Items related to The Functional Approach to Programming (Volume 0)

The Functional Approach to Programming (Volume 0) - Softcover

Cousineau, Guy; Mauny, Michel

  • 3.64 out of 5 stars
    14 ratings by Goodreads
 
9780521576819: The Functional Approach to Programming (Volume 0)
Softcover
ISBN 10: 0521576814 ISBN 13: 9780521576819
Publisher: Cambridge University Press, 1998

Synopsis

A programming course should concentrate on a program's logical structure and design rather than on simply writing code. The functional approach to programming achieves this aim because logical concepts are evident and programs are transparent, and so can be written quickly and cleanly. In this book, the authors emphasize the notions of function and 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. An appendix gives all the code used in the book in Standard ML.

"synopsis" may belong to another edition of this title.

Book Description

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.

Review

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

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
1998
Language
English
ISBN 10 
0521576814
ISBN 13 
9780521576819
Binding
Paperback
Edition number
1
Number of pages
460
Rating
  • 3.64 out of 5 stars
    14 ratings by Goodreads