为什么值得读
通过保真代码变换与语义分析深入解析编程语言核心原理
- 绝佳的编程语言语义学入门指南
- 详述Scheme转C及汇编的保真代码变换
- 深入剖析编程语言的底层原理与工程实现
适合：想要深入学习编程语言语义和实现的程序员
值得读指数：92 / 100
Hacker News 读者推荐
……编程语言（以及编译器），也就是它们的语义学。相比 1970 年代传统编译器课程刚建立那会儿，我们现在的语义学理论要成熟得多了。像《Essentials of Programming Languages》这类书作为那些模糊概念的入门书就极好，而且在 Coq 和 Idris 这些工具里也有大量研究旨在提出易于处理的形式化描述。但其实你不需要多么高深的语义学理论就能……
kragen 在 HN 的推荐
这是一篇很棒的文章。在 Friedman 和 Wand 写的《Essentials Of Programming Languages》里，非常详细地讲解了如何通过一系列保持正确性的变换，将 scheme 代码转成 C（甚至可能是汇编）。能搞到第一版的话尽量搞第一版，它比第二版更全面。第三版大概几周后就出了，所以如果你打算买书的话可以先等等。
plinkplonk 在 HN 的推荐
……Turing Omnibus；艾兹赫尔·戴克斯特拉（Edsger Dijkstra）的《A Discipline of Programming》；理查德·费曼（Richard Feynman）的《The Feynman Lectures on Computation》；Friedman 与 Felleisen 的《The Little Schemer》；Friedman、Wand 和 Haynes 的《Essentials of Programming Languages》[第 1 版]；James F. Gimpel 的《Algorithms in Snobol4》；Paul Graham 的《On Lisp》；Philip Greenspun 的《Philip and Alex's Guide to Web Publishing》；Grune 与 Jacobs 的《Parsing Techniques: A Practical…
binomial 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262062798
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。