Personally, just from reading the title, I was hoping for an article about the design of type systems in programming languages in general.