logic through haskell not necessarily dot dot dot

Dec 18, 2014  

Finished reading (browsing, really, after the first few chapters) through The Haskell Road to Logic, Maths and Programming1, and I am … underwhelmed. I mean the book was great and all, but maybe I made the mistake of forming some unreasonable expectations.

If you’re already familiar with a bit of Haskell and basic logic/sets/numbers, you’ll get the most bang for your buck from Chapter 10 on Corecursion2. This was “brand new” for me and I had multiple “aha” moments after seeing the mechanism used to reason about non-deterministic processes etc.

Conclusions:

  • More than Haskell, this motivated me to learn more math (though I don’t know where to start!)
  • I feel like Mathematica could be used too, for everything in this book; for stuff like this it’s like Haskell plus lots of libraries and visualization