The Functional Approach to Programming (Paperback)

Guy Cousineau

ISBN 10: 0521576814 / ISBN 13: 9780521576819

Verlag: Cambridge University Press, Cambridge, 1998

Beschreibung

Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Bestandsnummer des Verkäufers 9780521576819

Bibliografische Details

• Titel: The Functional Approach to Programming (Paperback)
• Verlag: Cambridge University Press, Cambridge
• Erscheinungsjahr: 1998
• Sprache: Englisch
• ISBN-10: 0521576814
• ISBN-13: 9780521576819
• Einband: Paperback
• Zustand: new

Über diesen Titel

Inhaltsangabe

The authors introduce functional programming via examples and explain what programs compute and how to reason about them. They implement the ideas in Caml and in Standard ML, and give examples of how complex programs can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.