The functional approach to programming by Guy Cousineau

The functional approach to programming



Download The functional approach to programming




The functional approach to programming Guy Cousineau
Language: English
Page: 447
Format: djvu
ISBN: 0521576814,
Publisher: Cambridge University Press

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.

MORE EBOOKS:
Java-Intensivkurs: In 14 Tagen lernen Projekte erfolgreich zu realisieren download ebook
Chaos. Making a new science download pdf
online A Game of Thrones (A Song of Ice and Fire, Book 1)
C++ Coding Standards: 101 Rules, Guidelines, and Best Practices pdf download
American Assassin: A Thriller read







Tags: The functional approach to programming ebook pdf djvu epub
The functional approach to programming download pdf epub djvu
Download The functional approach to programming free ebook pdf
Read The functional approach to programming online book
The functional approach to programming cheap ebook for kindle and nook
The functional approach to programming download book
Guy Cousineau ebooks
The functional approach to programming download pdf rapidshare mediafire fileserve 4shared torrent