Lol. I've been reading Types and Programming Languages by Benjamin Pierce. It's a fantastic book and I plan on eventually going through the whole thing. For no

Lol. I've been reading Types and Programming Languages by Benjamin Pierce. It's a fantastic book and I plan on eventually going through the whole thing. For now, I've been skipping around a bit to get to the stuff I'm interested in first. Pierce has included a lovely dependency graph between all of the chapters so you know what to read and in what order. It's super nice.