logic through haskell not necessarily dot dot dot

Finished reading (browsing, really, after the first few chapters) through The Haskell Road to Logic, Maths and Programming¹, 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 Corecursion². 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

1. via Amazon↩
2. via Wikipedia↩

Tags: old-post

« dailyprogrammer stacking sticks io performance is that really an ssd »