程序设计语言的实用基础
Practical Foundations for Programming Languages
Robert Harper · 初版 2012 年
- 34次提及
- 17人推荐
- 27位 HN 评论者
为什么值得读
权威系统地阐释程序语言理论，全面升级对类型系统的认知
- 被读者公认为程序设计语言理论领域的经典标杆
- 显著深化读者对静态与动态类型本质的理解
- 适合作为类型理论、证明论与逻辑学的配套专著
适合：编程语言理论学者与深耕类型的系统工程师
值得读指数：67 / 100
Hacker News 读者推荐
…这是一本 Erlang 书（我其实不太懂 Erlang），书中有 1/3 的篇幅在讲通用环境下如何设计可扩展且健壮的分布式系统，光凭这一点我觉得这书就值回票价了。# Practical Foundations for Programming Languages https://www.amazon.com/gp/product/1107150302/ref=as_li_ss_tl... 没啥好说的，大概就是编程语言理论（PLT）领域的“圣经”。# A First Course in Network Theory https://www.amazon.com/First-Course-Network-Theory/dp/019872...…
adamnemecek 在 HN 的推荐
…https://en.wikipedia.org/wiki/Mathematical_beauty [0.b] https://homotopytypetheory.org/book/ ——你可以把它理解为顶尖大脑齐聚普林斯顿，共同写出的关于证明论、类型论和逻辑的最顶尖教材之一。Robert Harper 的《Practical Foundations for Programming Languages》是一本很好的配套读物。[1] https://en.wikipedia.org/wiki/List_of_academic_journals_by_p...
iheartmemcache 在 HN 的推荐
读了 Robert Harper 的一些文章后，我对类型的理解有了质的飞跃。特别是那篇博文《Dynamic Languages are Static Languages》以及他的书《Practical Foundations for Programming Languages》。（这书厚得像块砖头，我只读了一部分，但写得真好）。说到理解 C 语言中的内存，另一个重要方面是理解 linkers 和 loaders 的工作原理。此外，这也很…
ericbb 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0198726465
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。