- Paperback: 304 pages
- Publisher: Cambridge University Press (18 Jun 1992)
- Language English
- ISBN-10: 0521277248
- ISBN-13: 978-0521277242
- Product Dimensions: 2.3 x 1.5 x 0.2 cm
-
Amazon Bestsellers Rank:
643,714 in Books (See Top 100 in Books)
- #11 in Books > Computers & Internet > Computer Science > Programming > Languages > Haskell
- #15 in Books > Computers & Internet > Computer Science > Programming > Software Design, Testing & Engineering > Functional Programming
- See Complete Table of Contents
| |||||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Product Description
Review
"...a very readable and understandable introduction to functional programming. It provides many concrete programming examples written in Haskell and discusses several design principles that seem to be unique to functional programming. I would recommend this book to all professional software developers for its discussion of software design using higher-order functions and streams. The book is perfect for an undergraduate course on functional programming. Haskell compilers are available from the research community, so students can get hands-on experience. Graduate students should be able to read this book on their own for an introduction to functional programming, the lambda calculus, polymorphic types, and combinatory logic." Reginald Meeson, ACM SIGPLAN Notices
Product Description
Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to students, teachers and researchers in either of these areas. An especially valuable feature are the chapters on programming and implementation, along with a large number of exercises.
Inside This Book
(Learn More)
First Sentence
In 1978 J.W. Backus was invited to give the Turing Award lecture, one of the Association for Computing Machinery's highest honours. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
In 1978 J.W. Backus was invited to give the Turing Award lecture, one of the Association for Computing Machinery's highest honours. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
There are no customer reviews yet on Amazon.co.uk.
5 star
4 star
3 star
2 star
1 star
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
5 reviews
8 of 8 people found the following review helpful
Excellent Introduction
30 Jan 2007
Format:Hardcover
Davie's book is aptly named; although he briefly outlines the important syntax of the Haskell language, this is not intended to be "How to Program in Haskell." This book is an introduction to the ideas of functional languages rather than a tutorial on the nuts and bolts of programming. As a result, many of the techniques of programming in Haskell are presented, but in the broader context of his explanation of functional programming rather than in the more narrow, "In Haskell, you must do x and y to accomplish z" sense. I thought that this was very effective; although I have used functional programming systems in the past this was the first time I had read a clear presentation of their theory and history. Parts of the book are very dense and make for heavy going, but overall I think Davie has done a very good job of introducing the reader to the idea of a functional programming language.
2 of 2 people found the following review helpful
An great second book for students of Haskell
5 Oct 2008
Format:Paperback
Conceptually the content of this book can be divided into three major sections. The first is a well constructed overview of Haskell which, though not suitable as a primary tutorial, is organized in a building block style that clearly explains the core concepts of the language and their syntax. Examples are of minimal complexity and fit each purpose well while remaining free of yet unintroduced material. The other two sections, theory and implementation, are interleaved to present the material in a constructive way. The introduction to lambda calculus marks the first deviation from a pragmatic study of Haskell, however, proofs are largely omitted leaving mostly definitions, relevant theorems, and explanations. This book served as my introduction to lambda calculus and I found it somewhere between impenetrable and relaxing, which is to say that it was very helpful despite requiring a second read. The chapter closes with a desugaring of Haskell into the simpler constructs of lambda calculus. Next the properties of applicative languages are studied and implemented (in Haskell) on a SECD machine. Then lazy evaluation is studied and techniques of implementation such as SECD, graph reduction, SKI-combinators, and the G-Machine are covered. Following this is an overview of program transformations and optimizations with a brief summary of ongoing work in the field. The three conceptual topics; language, theory, and implementation are covered uniformly so there is a decreasing completeness to the Haskell presentations as abstractions pile up e.g. there is no concrete implementation of lazy evaluation. Instead the operation of machines is described with graphics or combinators in the notation of lambda calculus. This book covers implementation adequate for an intermediate command of Haskell while serving as an excellent introduction to the theory behind functional programming.
A very good introductory book
6 May 2011
Format:Paperback|Amazon Verified Purchase
This had some pseudo code but explanations are lucid and excellent. A real good introductory book explaining concepts which is the approach I take when I learn.
Were these reviews helpful?
Let us know
Listmania!
Look for similar items by category
- Books > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
- Books > Computing & Internet > Programming > Introduction
- Books > Computing & Internet > Programming > Languages & Tools > Object Oriented
- Books > Computing & Internet > Programming > Languages > Haskell
- Books > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
