程序设计语言基础

Hacker News 上怎么说

• kragen · 2020 年

  ……编程语言（以及编译器），也就是它们的语义学。相比 1970 年代传统编译器课程刚建立那会儿，我们现在的语义学理论要成熟得多了。像《Essentials of Programming Languages》这类书作为那些模糊概念的入门书就极好，而且在 Coq 和 Idris 这些工具里也有大量研究旨在提出易于处理的形式化描述。但其实你不需要多么高深的语义学理论就能……

  …programming languages (and compilers), which is their semantics. We have much better theories of semantics now than we had in the 1970s when the traditional compilers course was being laid out. Books like Essentials of Programming Languages can be wonderful introductions to the fuzzier ones, and there's a lot of work in things like Coq and Idris to come up with tractable formalizations. But you don't need much of a theory of semantics to…

• plinkplonk · 2008 年

  这是一篇很棒的文章。在 Friedman 和 Wand 写的《Essentials Of Programming Languages》里，非常详细地讲解了如何通过一系列保持正确性的变换，将 scheme 代码转成 C（甚至可能是汇编）。能搞到第一版的话尽量搞第一版，它比第二版更全面。第三版大概几周后就出了，所以如果你打算买书的话可以先等等。

  This is a great essay. The approach of converting scheme code into C (and possibly assembly) via series of correctness preserving transforms is explained in great detail in Friedman and Wand's "Essentials Of Programming Languages". Get the first edition if you can. It is more comprehensive then the second edition. The third edition should be out in a few weeks so you may want to wait for that, if you plan to buy book.

• binomial · 2010 年

  ……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…

  …Turing Omnibus Edsger Dijkstra, A Discipline of Programming Richard Feynman, The Feynman Lectures on Computation Friedman and Felleisen, The Little Schemer Friedman and Wand and Haynes, Essentials of Programming Languages [1st edition] James F. Gimpel, Algorithms in Snobol4 Paul Graham, On Lisp Philip Greenspun, Philip and Alex's Guide to Web Publishing Grune and Jacobs, Parsing Techniques: A Practical…

• aphexairlines · 2011 年

  ……（作者）、Duane Bibby（插图）、Gerald J. Sussman（序言）。《The Little Schemer》。编程语言原理与实现相关书籍：Daniel P. Friedman、Mitchell Wand 和 Christopher T. Haynes 的《Essentials of Programming Languages》。Shriram Krishnamurthi 的《Programming Languages: Application and Interpretation》。Matthias Felleisen、Robby Findler 和 Matthew Flatt 的《Semantics Engineering with PLT Redex》。这些基本上全都是……

  …(Author), Duane Bibby (Drawings), Gerald J. Sussman (Foreword). The Little Schemer. Programming language principles & implementation books: Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages. Shriram Krishnamurthi. Programming Languages: Application and Interpretation. Matthias Felleisen, Robby Findler, and Matthew Flatt. Semantics Engineering with PLT Redex These are all by pretty much…

• tonyg · 2018 年

  我从 Friedman、Wand 和 Haynes 写的《Essentials of Programming Languages》（当时是第 2 版）里获益良多。Hal Abelson 在前言里写的那句话也很神：> 或许把程序与编程语言截然分开，本身就是一种误导……

  I got a lot out of "Essentials of Programming Languages" (2nd edition, at the time) by Friedman, Wand and Haynes. It has a great quote from Hal Abelson in the foreword, too: > Perhaps the whole distinction between program and programming language is a misleading…

• vector_spaces · 2021 年

  ……当时我太太太嫩了，但我会一直深深怀念那次面试。我本科学数学比较多，兴趣在 PL 理论上，所以他考了我 lambda calculus，并推荐我去看 Friedman & Wand 写的《Essentials of Programming Languages》（让我别再看之前啃的那些烂编译器书了），还给我指路了进一步学习编程语言和 lambda calculus 的资料。虽然那场面试还是……

  …waaaaaaay too junior at the time but I'll always remember that interview fondly. My background was more in math and my interests were in PL theory, so he quizzed me on the lambda calculus, and turned me onto Essentials of Programming Languages by Friedman & Wand (and off the bad compiler books I had been reading previously), and pointed me towards material for further study in programming languages and lambda calculus. The interview was still…

正在加载完整评论……