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

V2EX = way to explore

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

现在注册

已注册用户请登录

1 2

❮

❯

2021 年 5 月 25 日

回复了 Tony042 创建的主题 › 求职 › 求一个 1-2 周的短期实习

正常来讲，hr 不会接受只有两周的实习申请。

2019 年 1 月 30 日

回复了 zanzhz1101 创建的主题 › DNS › 查 dns 污染的时候发现了一个有趣的事情

Wikipedia-zh 对此有比较详细的记录，位于「域名服务器缓存污染」条目。

2019 年 1 月 30 日

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

@shikimoon QAQ 我竟然认不出你是哪个聚聚

另外 PL 的各种资料可以参考 https://steshaw.org/plt/

2019 年 1 月 30 日

回复了 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

❮

❯