v 友们求推荐深入学习类型系统 (type system) 的书籍吗

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

这是一个创建于 1944 天前的主题，其中的信息可能已经有所发展或是发生改变。

2 条回复 • 2018-12-22 20:51:30 +08:00

secondwtq

2018-12-22 17:44:38 +08:00

A path to enlightenment in Programming Language Theory

https://steshaw.org/plt/

agagega

2018-12-22 20:51:30 +08:00 via iPad

Types and Programming Languages，MIT Press 那个，好像还有本进阶版

v 友们求推荐深入学习 类型系统 (type system) 的书籍吗