程序设计语言的实用基础
Practical Foundations for Programming Languages
Robert Harper · 初版 2012 年
17人推荐
27位读者提及
34次提及
为什么值得读
- 被读者公认为程序设计语言理论领域的经典标杆
- 显著深化读者对静态与动态类型本质的理解
- 适合作为类型理论、证明论与逻辑学的配套专著
“本书借助类型论，为编程语言的基础提供了一个全新视角”——“句法对象 编程语言就是语言，是一种以人和机器都能理解的形式表达计算的手段。一种语言的语法规定了各类短语（表达式、命令、声明等）可以如何组合成程序。但这些短语究竟是什么东西？程序由什么构成？语法的非形式概念似乎涉及若干不同的概念。表层，或者说具体
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...…
…this is an Erlang book (I don't really know Erlang), 1/3 of the book is devoted to designing scalable and robust distributed systems in a general setting which I found the book worth it on it's own. # Practical Foundations for Programming Languages https://www.amazon.com/gp/product/1107150302/ref=as_li_ss_tl... Not much to say, probably THE book on programming language theory. # A First Course in Network Theory https://www.amazon.com/First-Course-Network-Theory/dp/019872...…
…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...
…https://en.wikipedia.org/wiki/Mathematical_beauty [0.b] https://homotopytypetheory.org/book/ -- think of this as the best minds in aggregate sit down at Princeton to write one of the best texts on Proof theory, type theory and logic. Practical Foundations for Programming Languages (Robert Harper) is a good companion text. [1] https://en.wikipedia.org/wiki/List_of_academic_journals_by_p...
读了 Robert Harper 的一些文章后，我对类型的理解有了质的飞跃。特别是那篇博文《Dynamic Languages are Static Languages》以及他的书《Practical Foundations for Programming Languages》。（这书厚得像块砖头，我只读了一部分，但写得真好）。说到理解 C 语言中的内存，另一个重要方面是理解 linkers 和 loaders 的工作原理。此外，这也很…
My understanding of types took a big step forward when I read some of Robert Harper's stuff. In particular, the blog post, Dynamic Languages are Static Languages, and his book, Practical Foundations for Programming Languages. (The book is a tome and I've only read parts of it but it's very good). When it comes to understanding memory in C, another important aspect is understanding how linkers and loaders work. Also, it's…
另一个极好且与时俱进的资源是 Robert Harper 写的《Practical Foundations for Programming Languages》。http://amzn.com/1107029570 Harper 在网上公开了这本书的在线版本：http://www.cs.cmu.edu/~rwh/plbook/book.pdf。
Another excellent and up-to-date resource is Practical Foundations for Programming Languages by Robert Harper. http://amzn.com/1107029570 Harper hosts an online version of this book: http://www.cs.cmu.edu/~rwh/plbook/book.pdf.
我目前正在读《Types and Programming Languages》。同时也在读 Robert Harper 写的较新的《Practical Foundations for Programming Languages》。两本书面向的受众差不多。我都推荐。
I'm in the midst of reading Types and Programming Languages right now. I'm also reading the more recent Practical Foundations for Programming Languages by Robert Harper. It's written for a similar audience. I would recommend both.
Robert Harper 的书《Practical Foundations for Programming Languages》（免费草稿版）http://www.cs.cmu.edu/~rwh/pfpl.html。无论你打算设计什么 DSL 还是编程语言，这本书都能防止你犯低级错误。另外也可以看看他在……持续更新的评论
Robert Harper's book Practical Foundations for Programming Languages (free draft) http://www.cs.cmu.edu/~rwh/pfpl.html This book will stop you from making easy mistakes in design of whatever DSL or language you're trying to create. Also see the commentary he keeps on…