Advanced topics in types and programming languages
by Benjamin C. Pierce · first published 2004
5mentions
1recommended by
5HN commenters
2010–2018first – last mentioned
20% recommend80% neutral
"The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference." "Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extens
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…Languages", 1993 -- a bit dated but still quite good. Covers basic semantics/type theory. Benjamin Pierce, "Types and Programming Languages", 2002 -- y'know, just your basic type theory. Benjamin Pierce, "Advanced Topics in Types and Programming Languages", 2005 -- Chapter 10 is a juicy 128 pages on Hindley-Milner type inference. Good for both theory and implementation tricks. It looks at HM typing as a constraint system where the rules are Just Right…
on “Safely Composable Type-Specific Languages [pdf]” ↗After spending some time with Haskell, I was considering diving into some more type theory. Any recommendation for the good type theory book? I know about Pierce's "Types and Programming Languages" and "Advanced Topics in Types and Programming Languages" but would like to learn whether there are any comparable alternatives. Thanks in advance!
on “Ask HN: any type theory book recommendation?” ↗…Pierce, then Types and Programming Languages by Pierce, then Practical Foundations for Programming Languages by Harper (for completeness, as I have heard pros and cons for both), then maybe moving to Advanced Topics in Types and Programming Languages and such. Mix in some Oregon Programming Language Summer School (OPLSS) [2] videos here and there when they fit. (OPLSS sounds great and I'm glad their videos are online) [0] https://twitter.com/manisha72617183/status/61301658769664819...…
on “A Path to Enlightenment in Programming Language Theory” ↗…Lexical scoping is an example of a syntactic method commonly employed by dynamically typed languages. It's possibly the only one. Edit: I have both of Pierce's "Types and Programming Languages", and "Advanced Topics in Types and Programming Languages". "Dynamic typing" is mentioned exactly once, on page 2 of the first text where Pierce says: > The word "static" is sometimes added explicitly [...] to distinguish the sorts of compile-time analysis…
on “Untyped Programs Don’t Exist” ↗…each variable has the type of the value it's assigned (like auto in modern C++), and then (3) go full HM type inference. TAPL definitely sounds like a good resource. The next book might be this one: Advanced Topics in Types and Programming Languages https://www.cis.upenn.edu/~bcpierce/attapl/frontmatter.pdf
on “Ask HN: What's your favorite elegant/beautiful algorithm?” ↗