5 ms·
> 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
by lostmypw 15y ago
> 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 be interesting.
The table of contents + first chapter is available as a postscript file[3]. This should give you an idea what to expect from the book.
[1] http://www.amazon.com/Haskell-Logic-Maths-Programming-Computing/dp/0954300696/ http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...
[2] http://www.amazon.com/review/R3CL50MCVEO7UA/ref=cm_cr_pr_perm?ie=UTF8&ASIN=0954300696&nodeID=&tag=&linkCode= http://www.amazon.com/review/R3CL50MCVEO7UA/ref=cm_cr_pr_per...
[3] http://www.cwi.nl/~jve/HR/HR-27.ps.gz http://www.cwi.nl/~jve/HR/HR-27.ps.gz
- jinfiesto 15y agoI have this book as well has "How to Prove it." They cover virtually the same material, however I found the prose in "The Haskell Road" to be stilted and sometimes confusing. I got much more out of "How to Prove it."
- lostmypw 15y agoInteresting; thank you for providing your perspective. Both books indeed share most of the topics, although from glancing at both TOCs HR seems to add Polynomials and Corecursion. I'll gladly keep this in mind should I get stuck with HR.
- jinfiesto 15y agoThis isn't to say that HR is bad, on the contrary it's quite good. Be prepared to use Google though. How to Prove it is much more self-contained. It is true that HR covers Polynomials and Corecursion. If I were you, I'd order both and use How to Prove it if you get stuck with The Haskell Road. They're both very inexpensive.