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.
| |||||||||||||||
Description de l'ouvrage
Descriptions du produit
Revue de presse
"...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
Détails sur le produit
Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?
|
En savoir plus sur l'auteur
Découvrez des livres, informez-vous sur les écrivains, lisez des blogs d'auteurs et bien plus encore.
Dans ce livre
(En savoir plus)
Première phrase
In 1978 J.W. Backus was invited to give the Turing Award lecture, one of the Association for Computing Machinery's highest honours. Lire la première page
Couverture | Copyright | Table des matières | Extrait | Index | Quatrième de couverture
In 1978 J.W. Backus was invited to give the Turing Award lecture, one of the Association for Computing Machinery's highest honours. Lire la première page
En découvrir plus
Concordance
Parcourir les pages échantillon
Concordance
Couverture | Copyright | Table des matières | Extrait | Index | Quatrième de couverture
Vendre une version numérique de ce livre dans la boutique Kindle.
Si vous êtes un éditeur ou un auteur et que vous disposez des droits numériques sur un livre, vous pouvez vendre la version numérique du livre dans notre boutique Kindle.
En savoir plus
Quels sont les autres articles que les clients achètent après avoir regardé cet article?
Commentaires en ligne
Il n'y a pas encore de commentaires clients sur Amazon.fr
5 étoiles
4 étoiles
3 étoiles
2 étoiles
1 étoiles
Commentaires client les plus utiles sur Amazon.com (beta)
Amazon.com:
4.4 étoiles sur 5
5 commentaires
9 internautes sur 9 ont trouvé ce commentaire utile
4.0 étoiles sur 5
Excellent Introduction
30 janvier 2007
Par D. Grady
- Publié sur Amazon.com
Format:Relié
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.
3 internautes sur 3 ont trouvé ce commentaire utile
5.0 étoiles sur 5
An great second book for students of Haskell
5 octobre 2008
Par Samuel Danielson
- Publié sur Amazon.com
Format:Broché
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.
1 internautes sur 1 ont trouvé ce commentaire utile
5.0 étoiles sur 5
A very good introductory book
6 mai 2011
Par Bharath Mukundakrishnan
- Publié sur Amazon.com
Format:Broché|Achat authentifié par Amazon
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.
›
Allez sur Amazon.com pour voir l'ensemble des 5 commentaires
4.4 étoiles sur 5
Ces commentaires ont-ils été utiles ?
Dites-le-nous
Listmania!
Rechercher des articles similaires par rubrique
Commentaires
Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?
|
