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

2018-12-22 17:35:09 +08:00
 9ki
3115 次点击
所在节点    程序员
2 条回复
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
Types and Programming Languages，MIT Press 那个，好像还有本进阶版

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/520035

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX