Goodreads helps you keep track of books you want to read.
Start by marking “The Haskell Road to Logic, Maths and Programming” as Want to Read:
The Haskell Road to Logic, Maths and Programming
Enlarge cover
Rate this book
Clear rating
Open Preview

The Haskell Road to Logic, Maths and Programming

3.65  ·  Rating details ·  115 ratings  ·  5 reviews
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. 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. Haskell is a marvellous demonstration tool for ...more
Paperback, Second Edition, 432 pages
Published 2012 by College Publications (first published May 7th 2004)
More Details... Edit Details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about The Haskell Road to Logic, Maths and Programming, please sign up.

Be the first to ask a question about The Haskell Road to Logic, Maths and Programming

Community Reviews

Showing 1-30
Average rating 3.65  · 
Rating details
 ·  115 ratings  ·  5 reviews


More filters
 | 
Sort order
Start your review of The Haskell Road to Logic, Maths and Programming
Jon Gauthier
Mar 20, 2012 rated it liked it
Recommends it for: Students of mathematics with an interest in its FP applications
Without a doubt, the math contents of this book were over my head. I originally picked The Haskell Road more for its relation to functional programming than to anything else. For this reason, the chapters on induction, recursion and corecursion were more enlightening and understandable than any other section. For a kid with no formal mathematical training, though, the proofs in this book (mostly those in the later chapters) were often beyond my reach.

If an exercise like the following sounds like
...more
Catalin Marin
Jan 11, 2019 rated it it was amazing
An exceptional book for learning both logic and Haskell
Nick Black
Dec 03, 2007 rated it really liked it
freakin' awesome!
Maiz Lulkin
Jan 04, 2010 rated it it was amazing
The most hard core programming language ever - Haskell - presented in a really different and thought provoking way. For those interested in this topics - functional languages, logics and mathematical foundations - i think it's must have.
Joost
Jul 11, 2012 rated it really liked it
Didn't finish yet. Need to pick it up again at a later point in time.
Rick
rated it it was ok
Sep 01, 2018
Ebony
rated it it was amazing
Feb 07, 2014
András Kovács
rated it really liked it
Sep 19, 2014
Dimitrios
rated it really liked it
Mar 29, 2019
Dan McKinley
rated it liked it
Jun 23, 2019
David H. Friedman
rated it really liked it
Aug 22, 2012
Andrew Cowie
rated it did not like it
Feb 02, 2017
Chathura Colombage
rated it it was amazing
Aug 23, 2013
David
rated it really liked it
May 24, 2015
Vladimir
rated it really liked it
Aug 26, 2014
Jovany Agathe
rated it it was ok
Nov 26, 2016
Aliaksey Artamonau
rated it it was amazing
Mar 15, 2014
Chris Shaver
rated it it was ok
May 17, 2014
Dan Barowy
rated it did not like it
Apr 09, 2015
Gwen
rated it really liked it
Dec 05, 2014
Ayesha
rated it liked it
Aug 10, 2012
Nguyen Tule
rated it really liked it
Nov 07, 2013
Guillermo Bayon del Oso
rated it really liked it
Dec 25, 2014
Jesse Taylor
rated it really liked it
Apr 12, 2011
Giorgos
rated it really liked it
Nov 21, 2012
Paul Baxter
rated it it was amazing
Aug 01, 2015
Jonas Moss
rated it really liked it
Jul 31, 2018
Alexander Korneev
rated it really liked it
Dec 30, 2011
Abhijeet Kumar
rated it liked it
Jan 15, 2016
Jonas
rated it really liked it
Oct 16, 2015
« previous 1 3 4 next »
There are no discussion topics on this book yet. Be the first to start one »