
Categories  Download eBook: The Haskell Road to Logic, Maths and Programming  
Book Catagory:Haskell
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language 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 actually needed. Functional programming is a form of descriptive programming, very different from the style of programming that you find in prescriptive languages like C or Java. Haskell is based on a logical theory of computable functions called the lambda calculus.
More Haskell eBooks: Learn You a Haskell for Great Good!  A Beginner's Guide Learn Haskell Fast and Hard  Blow your mind with Haskell Haskell: Functional Programming with Types Haskell Tutorial for C Programmers Speeding Through Haskell Developing Web Applications with Haskell and Yesod Parallel and Concurrent Programming in Haskell Real World Haskell 
