3 ms·

Any good recommendations for types, as used by programming languages? Is "Types and Programming Languages" by Pierce still the best intro, even though it's 20

• tonyg 4y ago
  You could try chapter 15 of TFA (http://cs.brown.edu/courses/cs173/2012/book/types.html); http://cs.brown.edu/courses/cs173/2012/book/types.html); otherwise, yes, TaPL is still very good. An alternative (and rather more difficult) path could be to try working through the Programming Language Foundations volume of Software Foundations (https://softwarefoundations.cis.upenn.edu/plf-current/toc.html https://softwarefoundations.cis.upenn.edu/plf-current/toc.ht...), also by Pierce (and others), which does all its implementation work in Coq (!).
• DonaldPShimoda 4y ago
  TAPL remains a go-to text for inducting people into PL. I have absolutely no qualms recommending it, because we still use the techniques it teaches. It will not teach you to implement a full-blown language with a performant runtime or anything like that. It is absolutely a book about theory. But I don't think any part of it is specifically outdated, except maybe that it does not reference any more modern languages (which is not much of an issue, in my opinion).