Introduction to Functional Programming Systems Using Haskell (Cambridge Computer Science Texts, Series Number 27) - Hardcover

Davie, Antony J. T.

Hardcover

ISBN 10: 0521258308 ISBN 13: 9780521258302

Publisher: Cambridge University Press, 1992

Synopsis

Functional programming, is a style of programming that has become increasingly popular during the past few years. Applicative programs have the advantage of being almost immediately expressible as functional descriptions; they can be proved correct and transformed through the referential transparency property. This book presents the basic concepts of functional programming, using the language HASKELL for examples. The author incorporates a discussion of lambda calculus and its relationship with HASKELL, exploring the implications for parallelism.

About this title

Book Description

The basic concepts of applicative programming are presented using the language HASKELL for examples. In addition to exploring the implications for parallelism, a discussion of lamda calculus and its relationship with SASL is included.

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

Edition details

• Publisher: Cambridge University Press
• Publication date: 1992
• ISBN 10: 0521258308
• ISBN 13: 9780521258302
• Binding: Hardcover
• Language: English
• Number of pages: 304