The Haskell Road To Logic, Maths And Programming
by Jan van Eijck · first published 2004
76% recommend24% neutral
Why HN recommends it
Teaches mathematical notation, proof construction and discrete math by working through them in Haskell. Suits programmers who want a gentle route into formal proofs, especially those curious about functional programming.
Summarised by Claude from recommending comments
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Mentions per year
What Hacker News says
Related books
2008–2025The Art and Craft of Problem Solving
Paul Zeitz
Recommended by 12 · mentioned by 1512 recommend · 15 mention12 recommend · 1512 recommend
2012–2025Measurement
Paul Lockhart
Recommended by 23 · mentioned by 3023 recommend · 30 mention23 recommend · 3023 recommend
2007–2026How to prove it
Daniel J. Velleman
Recommended by 78 · mentioned by 10478 recommend · 104 mention78 recommend · 10478 recommend
2008–2026Real World Haskell
Bryan O'Sullivan, John Goerzen, Don Stewart
Recommended by 122 · mentioned by 208122 recommend · 208 mention122 recommend · 208122 recommend
2007–2026Concepts, techniques, and models of computer programming
Peter Van Roy, Seif Haridi
Recommended by 70 · mentioned by 9370 recommend · 93 mention70 recommend · 9370 recommend
2008–2026Calculus Made Easy
Silvanus Phillips Thompson
Recommended by 81 · mentioned by 13581 recommend · 135 mention81 recommend · 13581 recommend
2007–2026How to solve it
George Pólya
Recommended by 161 · mentioned by 206161 recommend · 206 mention161 recommend · 206161 recommend
2007–2026The Little Schemer
Daniel P. Friedman, Matthias Felleisen
Recommended by 288 · mentioned by 438288 recommend · 438 mention288 recommend · 438288 recommend
While there is no "royal road" to mathematics for programmers who don't care about proofs, there is a programmer's road to proofs for those interested in Math. In fact, the book is even called "The Haskell Road to Logic, Maths and Programming" [0]. It covers mathematical notation, proof construction, and lots of interesting portions of discrete math that should be of interest to programmers. And large portions of the results are demonstrated…
on “Why there is no Hitchhiker’s Guide to Mathematics for Programmers” ↗For those interested in learning Haskell, I can recommend the lesser known "Haskell Road to Logic, Maths, and Programming": http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput... It's great to go over old and new math concepts and do so while exploring Haskell.
on “Why Not Haskell?” ↗> My goal is really to add math to my diet, ... I've started reading "The Haskell Road to Logic, Maths and Programming", maybe that's something for you or some other lurker here that would like to improve on math. There is a review [2] that gives an interesting impression on the book. The other ones at amazon might also…
There is a really nice book trying to teach exactly this (among other things) called "The Haskell Road To Logic, Maths and Programming": http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...
on “Books every self-taught computer scientist should read” ↗http://homepages.cwi.nl/~jve/HR/ Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it introduces you to mathematical proofs, basic logic issues (including relations) and programming using Haskell. I'd wholeheartedly recommend it to someone who's not yet had much…
on “Ask HN: What should I learn to become a computer scientist?” ↗…and don't want to use the REPL, since the REPL in many ways resembles a powerful calculator (and can be used as such) If you really like the math approach, and grow to appreciate the REPL, give "The Haskell Road to Logic, Maths and Programming" by Doets and van Eijck a try. But no, you can't pick up programming just from reading books without attempting to program. You could pick up a good bit of computer science like that, but not programming.…
on “Hello, World” ↗I'm curious to get some feedback on what other HNers consider to be the most profoundly insightful books they've read. I picked up The Haskell Road to Logic, Maths and Programming as a result on posts on here and so far it's been one of the most worthwhile coding reads I've ever had. So what about you guys? Other programming books? Business books? Just downright good books? Thanks!
on “Ask HN: Books that change your way of thinking?” ↗http://homepages.cwi.nl/~jve/HR/ I'd recommend this one: The Haskell Road to Logic, Maths and Programming -- would fit best if you'd also have an interest in Haskell/FP, but it's also a good introduction to formal proofs -- might be a bit too basic if you're interested in higher maths, tho, but a good starting…
on “Ask HN: Recommendation for (re)learning Math Skills” ↗Thank you. I look forward to seeing your patches soon :). There's another book on a similar vein called "Haskell Road to Logic, Maths and Programming" that I intend to tackle in the future. It's a bit more advanced than this book, but if you already know some discrete math, that might be a better place to start.
on “My notes and complete solutions to "Discrete Mathematics using a Computer"” ↗…read a Scala book that puts a big emphasis on the functional part – and as it's a rather Tim Toady language, it might be better to focus on something simpler or more "pure". I've lost my copy of "The Haskell Road to Logic, Maths and Programming" while moving, but the first few chapters I've read have been pretty great, especially if you also want to close some gaps in your math knowledge.
on “Ask HN: resources for learning functional languages?” ↗…for Computer Science (free pdf courses.csail.mit.edu/6.042/fall10/mcs-ftl.pdf) and any Calculus book of your liking. There are also great resources to learn Math using Haskell. I'm working through The Haskell Road to Logic, Maths and Programming and it's proving to be great http://www.haskell.org/haskellwiki/Books_and_tutorials/Mathe...
on “Ask HN: Learn Math the Hard Way” ↗Interesting. A couple similar books: https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ - The Haskell Road to Logic, Maths and Programming - Uses Haskell, as the title suggests https://mitp-content-server.mit.edu/books/content/sectbyfn/b... - The Structure and Interpretation of Classical Mechanics - Uses Scheme
on “Learn Physics with Functional Programming” ↗The Haskell Road to Logic, Maths and Programming is a good place to start.
on “Free Programming Ebooks” ↗Yep; see The Haskell Road to Logic, Maths and Programming.
on “Ask HN: Which general programming language is good for learning/exploring math?” ↗You may find The Haskell Road to Logic, Maths and Programming interesting.
on “Ask HN: What language to learn after Python?” ↗