So, I'm reading Types and Programming Languages by Benjamin C. Pierce. The book has a good reputation as has been recommended to me a few times so I picked it up at one point and it's been gathering dust for a while. I decided I was going to tackle it.