类型与程序设计语言高级主题
Advanced topics in types and programming languages
Benjamin C. Pierce · 初版 2004 年
- 5次提及
- 1人推荐
- 5位 HN 评论者
简介
“涵盖的主题包括精确类型分析（扩展简单类型系统以更好掌握系统的运行时行为）；低级语言的类型系统；类型在计算机程序推理中的应用；作为复杂模块系统设计框架的类型理论；以及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）…
peterfirefly 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262162288
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。