Types and Programming Languages

Types and Programming Languages

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.

At a very minimal level, what I hope to gain from reading it is a sense of what makes languages different beyond broad classifications I’m used to such as whether the language is imperative or non-imperative or whether it has static typing or dynamic typing. If I were to hope a bit more, I’d like to understand how to write better programs.

Has anyone else read it? What did you get out of it?