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

4 points by gjvnq 5y ago ↗ HN

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.

2 comments

[ 0.25 ms ] story [ 11.6 ms ] thread

cpach 5y ago ↗

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/

Jtsummers 5y ago ↗

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...