The Haskell Road to Logic, Maths and Programming

The purpose of this book is to teach logic and mathematical reasoning in practice,and to connect logical reasoning with computer programming. The programminglanguage that will be our tool for this is Haskell, a member of the Lisp family.

Haskell emerged in the last decade as a standard for lazy functional programming,a programming style where arguments are evaluated only when the value is actuallyneeded. Functional programming is a form of descriptive programming, verydifferent from the style of programming that you find in prescriptive languageslike C or Java. Haskell is based on a logical theory of computable functions calledthe lambda calculus.