Ask HN: What are some good resources/surveys about different type systems?

4 pointsgjvnq2 comments

I am looking for articles/books/etc that describe the type systems of different languages and comment on differences and similarities among them as well as the positives and negatives of each.

View on HN

Possibly Types and Programming Languages by Benjamin Pierce. Though at over 600 pages it may be a bit more detailed than a survey.

https://mitpress.mit.edu/books/types-and-programming-languag...

I don’t have any direct pointers for you, but I would be surprised if you wouldn’t find any citations over at Lambda the Ultimate, http://lambda-the-ultimate.org/

Reply on news.ycombinator.com