The Functional Approach to Programming

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book The Functional Approach to Programming by Guy Cousineau, Michel Mauny, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Guy Cousineau, Michel Mauny ISBN: 9781107263796
Publisher: Cambridge University Press Publication: October 29, 1998
Imprint: Cambridge University Press Language: English
Author: Guy Cousineau, Michel Mauny
ISBN: 9781107263796
Publisher: Cambridge University Press
Publication: October 29, 1998
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book Gas Turbine Emissions by Guy Cousineau, Michel Mauny
Cover of the book Immigration and the Constraints of Justice by Guy Cousineau, Michel Mauny
Cover of the book Cultural Heritage in International Investment Law and Arbitration by Guy Cousineau, Michel Mauny
Cover of the book Shipping Strategy by Guy Cousineau, Michel Mauny
Cover of the book British Political Culture and the Idea of ‘Public Opinion', 1867–1914 by Guy Cousineau, Michel Mauny
Cover of the book The Cambridge Companion to W. E. B. Du Bois by Guy Cousineau, Michel Mauny
Cover of the book The Political Writings of Alexander Hamilton: Volume 2, 1789–1804 by Guy Cousineau, Michel Mauny
Cover of the book Superstring Theory: Volume 1, Introduction by Guy Cousineau, Michel Mauny
Cover of the book Innovating Development Strategies in Africa by Guy Cousineau, Michel Mauny
Cover of the book Language, Sexuality and Education by Guy Cousineau, Michel Mauny
Cover of the book Wilhelm II by Guy Cousineau, Michel Mauny
Cover of the book Discourse and Identity by Guy Cousineau, Michel Mauny
Cover of the book Corruption and Government by Guy Cousineau, Michel Mauny
Cover of the book The Conduct of Hostilities under the Law of International Armed Conflict by Guy Cousineau, Michel Mauny
Cover of the book Party Brands in Crisis by Guy Cousineau, Michel Mauny
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy