V2EX › pragmatwice 的所有回复 › 第 2 页 / 共 2 页

V2EX = way to explore

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

现在注册

已注册用户请登录

1 2

❮

❯

2019-01-30 14:48:17 +08:00

回复了 ChristopherWu 创建的主题 › 程序员 › 请问一下，可以推荐一下基本 PL 知识的科普书籍 or 文章吗？

1. 和你目前看的 SF 同一个作者写的 TaPL (Types and Programming Language)，之后还有一本 ATTaPL
2. 上面两本书作者整理的 Great Works in Programming Languages （一堆论文）
3. 不喜欢 Coq （ SF 标配）可以 Haskell -> Agda / Idris，可一看下 Wow-FV-zh / dt-programming-in-agda

* 不给链接的原因是你可以直接 Google 上面的关键词得到链接
* 我也才开始学 QAQ

1 2

❮

❯