类型和程序设计语言
Types and Programming Languages
Benjamin C. Pierce · 初版 2002 年
132人推荐
226位读者提及
322次提及
为什么值得读
- 深入讲解多态Lambda演算等核心类型系统理论
- 支持亲手实现词法分析与类型检查器的实操性
- 覆盖编程语言设计空间中各类类型系统的形式化
type system 是一种语法方法，通过根据程序短语所计算的值的种类对其进行分类，来自动检查是否存在某些错误行为。对 type systems 以及从 type-theoretic 视角对 programming languages 的研究，在 software engineering、language design、high-performance compilers 和 security 方面具有重要应用。本书全面介绍了计算机科学中的 type systems 以及 programming languages 的基础理论。其方法注重实用与 operational；每一个新概念的引入都……
Hacker News 上怎么说
正在加载完整评论……
……一段迷人的旅程。好好享受。 编辑：如果你想深入类型系统（比如你想从第一性原理搞懂 Haskell 的类型系统，或者给你的语言加上类似 OCAML 的模块），Benjamin Pierce 的《Types and Programming Languages》——你读完 EOPL 之后就有能力啃这本了
…fascinating journey. Enjoy. EDIT: If you want to go deep into type systems (say you want to grok Haskell's type system from first principles, (or add OCAML like modules to your language, say) Benjamin Pierce's Types and Programming Languages - You are in good shape to work through this after you've finished EOPL
函数式编程方面：[0] 《计算机程序的构造和解释》（SICP） [1] The_Little_Schemer [2] Programming in Haskell - Graham Hutton [3] Types and Programming Languages - Benjamin C. Pierce --- PDF链接 [0](https://github.com/allenleein/brains/blob/master/Zen-of-Func...) [1](https://github.com/allenleein/brains/blob/master/Zen-of-Func...) [2](https://github.com/allenleein/brains/blob/master/Zen-of-Func...)…
In functional programming: [0] The Structure and Interpretation of Computer Programs [1] The_Little_Schemer [2] Programming in Haskell - Graham Hutton [3] Types and Programming Languages-Benjamin C. Pierce --- PDFS [0](https://github.com/allenleein/brains/blob/master/Zen-of-Func...) [1](https://github.com/allenleein/brains/blob/master/Zen-of-Func...) [2](https://github.com/allenleein/brains/blob/master/Zen-of-Func...)…
《类型和编程语言》（Types and Programming Languages），Benjamin Pierce：https://www.cis.upenn.edu/~bcpierce/tapl/ 它的内容是我认为的编程的元游戏。理解类型似乎对思考架构、实现……有真正的提升。
Types and programming languages, Benjamin Pierce: https://www.cis.upenn.edu/~bcpierce/tapl/ Its contents is what I consider the meta game of programming. Understanding types seems to be a real boost to think about architecture, implementation,…
……网上免费提供，所以这很好。（第 10 章讲类型）我还没看过第二版，但关于类型的那一章看起来代码比数学多。Benjamin Pierce 的《类型和编程语言》（Types and Programming Languages）似乎是类型理论入门的黄金标准，并且肯定涵盖了这种记法及其背后的数学，比 PLAI 严谨得多。不过它是一本深得多的书，所以它不……
…freely available online, so that's nice. (chapter 10 is on types) I haven't looked at the second edition at all yet, but the chapter on types looks like it has more code than math. Benjamin Pierce's Types and Programming Languages seems to be the gold standard of intro type theory, and definitely covers this notation and the math behind it, in a much more rigorous fashion than PLAI. It is a much deeper book though, so it doesn't…
……Cardelli 的“Typeful Programming”[1] 来了解类型化编程到底是怎么回事，并亲自看看 C 和 C++ 相比之下有多脑残。然后去看 Benjamin Pierce 的经典之作《类型和编程语言》（Types and Programming Languages）。[1]http://www.daimi.au.dk/~madst/tool/papers/typeful.pdf
…Cardelli's "Typeful Programming"[1] to get an overview of what typed programming is all about, and see for yourself how brain-dead C and C++ are in comparison. After that go to Benjamin Pierce's canon, "Types and Programming Languages". [1]http://www.daimi.au.dk/~madst/tool/papers/typeful.pdf
……那些通过 Wadler 从 CT 偷来的东西，与它们的 CT 朋友只有一点点相似/关系。我反而建议读一些东西：- 类型论（Benjamin Pierce 的《类型和编程语言》（Types and Programming Languages）是事实上的入门书。它涵盖了从无类型 lambda 演算到比标准 Haskell 复杂得多的东西，包括类型检查器的示例实现等。）-……
…that have been pilfered from CT via Wadler have only a passing resemblance/relation to their CT friends. Some things that I instead would recommend reading up on are: - Type theory (Benjamin Pierce's "Types and Programming Languages" is the de facto introduction to this. It covers everything from untyped lambda calculus to things way more complex than standard Haskell, including example implementations of type checker, etc.) -…