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?

One reply on “Types and Programming Languages”

Comments are closed.