Jon Gauthier's Reviews > The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming by Kees Doets
Rate this book
Clear rating

by
5092154
's review

liked it
bookshelves: programming, haskell, functional-programming, math, mind-tickling
Recommended 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 fun, you'll enjoy this book:

Show that the relation < on N is the transitive closure of the relation R = {(n, n + 1) | n in N}.


In many chapters, the Haskell exercises are few and far between, but were (for me) a lot of fun:

Give a corecursive program for producing the Thue-Morse sequence as a stream.
2 likes · flag

Sign into Goodreads to see if any of your friends have read The Haskell Road to Logic, Maths and Programming.
Sign In »

Reading Progress

March 20, 2012 – Shelved
March 20, 2012 – Shelved as: programming
March 20, 2012 – Shelved as: haskell
March 20, 2012 – Shelved as: functional-programming
March 20, 2012 – Shelved as: math
March 20, 2012 – Shelved as: mind-tickling
August 17, 2012 – Started Reading
August 24, 2012 –
page 40
9.26% "Not bad so far! The book gave a basic introduction to Haskell syntax and is now reviewing sentiential logic."
August 31, 2012 –
page 71
16.44%
September 7, 2012 –
page 87
20.14% "My proof skills are subpar, so this is a struggle for me. Sticking with it so that I can improve them!"
September 11, 2012 –
page 92
21.3%
September 14, 2012 –
page 102
23.61%
September 22, 2012 –
page 112
25.93%
September 28, 2012 –
page 121
28.01%
October 1, 2012 –
page 130
30.09%
October 4, 2012 –
page 147
34.03% "Loved the set theory exercises.. I'm getting good at this! An interesting mathematical parallel of nested ordered pairs to cons cells, as well."
October 5, 2012 –
page 156
36.11%
October 6, 2012 –
page 175
40.51%
October 7, 2012 –
page 201
46.53% "Relations didn't go too well. Pushing forward.."
October 8, 2012 –
page 233
53.94%
October 9, 2012 –
page 244
56.48%
October 9, 2012 –
page 258
59.72% "Fun review @ recursive functions on trees and lists."
October 11, 2012 –
page 312
72.22%
October 12, 2012 –
page 332
76.85% "Loved the application with Gaussian elimination."
October 13, 2012 –
page 389
90.05%
October 13, 2012 – Finished Reading

No comments have been added yet.