简介
type system 是一种语法方法，通过根据程序短语所计算的值的种类对其进行分类，来自动检查是否存在某些错误行为。对 type systems 以及从 type-theoretic 视角对 programming languages 的研究，在 software engineering、language design、high-performance compilers 和 security 方面具有重要应用。本书全面介绍了计算机科学中的 type systems 以及 programming languages 的基础理论。其方法注重实用与 operational；每一个新概念的引入都……
为什么值得读
系统讲解类型系统理论并结合实现代码的权威教材
- 深入讲解多态Lambda演算等核心类型系统理论
- 支持亲手实现词法分析与类型检查器的实操性
- 覆盖编程语言设计空间中各类类型系统的形式化
适合：想深入掌握类型论与编程语言实现的计算机学习者
值得读指数：68 / 100
Hacker News 读者推荐
函数式编程方面：[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...)…
allenleein 在 HN 的推荐
Pierce 的《Types and Programming Languages》是一本极棒的教材。我快搞定自己对 System F-omega（带 higher kinded types 和类型运算符的 polymorphic lambda calculus）的实现了，包含一个纯手写的完整 lexer/parser……
shpongled 在 HN 的推荐
《Types and Programming Languages》（又名“tapl”）
csneeky 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262162288
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。