On the “reading” front, I purchased my copy of Advanced Topics in Types and Programming Languages (companion and somewhat successor to TAPL) this morning. I’ve had a bit of a flick through it and it looks really, really interesting. Hopefully having spent almost $200 on the two books will provide an added incentive to not only start, but finish, reading them and hopefully even work through the problems.

I’ve been thinking about typography and book design lately which has suggested, amongst other things, that I see if it’d be possible to get my copy of ATTAPL rebound with some extra pages. It would be nice, for example, to insert the extended version of chapter 10 - the essence of ML type inference and to “fix” any errata with updated pages. I imagine, though I haven’t bothered to investigate at all, that this’d be quite a difficult and expensive thing to do for a single copy, so it’ll probably be a long while before I do it, if ever.

Before that though, I’ve been focussed on getting through Logic by Greg Restall. I’m almost half way through and while I’d have preferred a slightly difference syntax (I prefer ∧ as conjunction, rather than &), it’s easy to read and is much more accessible than most other books I’ve seen with titles like “Logic”.