Introduction Functional Programming  (English, Paperback, Bird Richard)

After the success of the first edition of Introduction to Functional Programming, the authors have thoroughly updated and revised this bestselling title. This book is unusual amongst books on functional programming in that it is primarily directed towards the concepts of functional programming, rather than their realization in a specific programming language. The book clearly expounds the construction of functional programs as a process of mathematical calculation, but the mathematics is restricted to that relevant to the actual construction of programs.

Salient Features

• Now uses Haskell 3.1.
• All chapters have been rewritten and substantially updated
• New case studies, including a substantial application involving an automatic proof tool.
• A calculus of time complexity is included.
• The treatment of data types and recursion comes much earlier than the previous edition.
• Exercises have been changed and simplified.
• There is a new chapter on abstract data types in a functional setting.
• There is a simple yet coherent treatment of the Haskell class.
• The laws of functional programming have been made more coherent.
• Includes a treatment of monadic input-output.