4 ms·
Ask HN: What are some good resources/surveys about different type systems?
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.
- cpach 6y agoI 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/ http://lambda-the-ultimate.org/
- Jtsummers 6y agoPossibly 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-languages https://mitpress.mit.edu/books/types-and-programming-languag...