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

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.