类型与程序设计语言高级主题
Advanced topics in types and programming languages
Benjamin C. Pierce · 初版 2004 年
1人推荐
5位读者提及
5次提及
“涵盖的主题包括精确类型分析（扩展简单类型系统以更好掌握系统的运行时行为）；低级语言的类型系统；类型在计算机程序推理中的应用；作为复杂模块系统设计框架的类型理论；以及ML风格类型推断的高级技术。”“《Advanced Topics in Types and Programming Languages》既适用于课堂教学，也可作为专业人士的参考资料。大多数章节都附有练习，难度从快速理解测试到具有挑战性的扩展不等
Hacker News 上怎么说
正在加载完整评论……
…Languages》，1993年——有点过时但依然相当不错。涵盖了基础语义学/类型论（semantics/type theory）。Benjamin Pierce 的《Types and Programming Languages》，2002年——你懂的，就是基础的类型论。Benjamin Pierce 的《Advanced Topics in Types and Programming Languages》，2005年——第10章是长达128页干货满满的 Hindley-Milner 类型推导。无论理论还是实现技巧都很有帮助。它把 HM typing 当作一个约束系统来看待，其中的规则恰到好处（Just Right）…
…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…
在玩了一段时间 Haskell 之后，我在考虑更深入地学学类型论（type theory）。大家有什么好的类型论书籍推荐吗？我知道 Pierce 的《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》，但想了解下有没有其他同等水平的替代选择。先谢过了！
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!
…Pierce，然后是 Pierce 的《Types and Programming Languages》，再是 Harper 的《Practical Foundations for Programming Languages》（为了全面起见，这两本书的好评差评我都听过），接着也许再去看《Advanced Topics in Types and Programming Languages》之类的。在合适的时候穿插看看俄勒冈编程语言暑期学校（OPLSS）[2] 的视频。（OPLSS 听起来很赞，很高兴他们的视频在线上都能看）[0] https://twitter.com/manisha72617183/status/61301658769664819...…
…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...…
…词法作用域（lexical scoping）是动态类型语言常用的一种语法手段。它可能也是唯一的一种。编辑：Pierce 的《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》我都有。“Dynamic typing”（动态类型）只被提到过一次，就在第一本书的第2页，Pierce 写道：> 有时会明确加上“static”一词 [...] 用以区分那种编译期分析…
…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…
…每个变量都拥有其被赋值的那个类型（就像现代 C++ 里的 auto），然后 (3) 搞完全体的 HM 类型推导。TAPL 听起来绝对是个好资源。下一本书可能会是这本：《Advanced Topics in Types and Programming Languages》https://www.cis.upenn.edu/~bcpierce/attapl/frontmatter.pdf
…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