After the last meeting we had a chat in the pub about some things to do next as a group. We did discuss setting up a separate email list for the group rather than Tom’s book, but I thought I’d mail this list and we can carry on the discussion on a new one if appropriate.
I mentioned a couple of books I’ve never got around to working through, but might be fun to read together. The first was “From NAND to Tetris: Building a Modern Computer from First Principles”. I guess the title is fairly self-explanatory, but I thought it might take us on a different track from Understanding Computation as a starting point, into the realm of machines and hardware rather than functional languages (we may even get to solder something!).
The other was “To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic”, and in particular the second section of that book on combinatory logic. It’s one of those books that keeps getting cited as a classic in the field of functional programming, but whenever I try and get my head round it, it just doesn’t jive with me. I think working some of the puzzles together might be fun.