This textbook offers a deep understanding of the essential concepts of programming languages. The approach is analytic and hands-on. The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable. It also examines some important program analyses. Extensive exercises explore many des...
This textbook offers a deep understanding of the essential concepts of programming languages. The approach is analytic and hands-on. The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable. It also examines some important program analyses. Extensive exercises explore many design and implementation alternatives.
So we see that an accumulator is often just a representation of a continuation. This is impressive. Quite a few classic program optimizations turn out to be instances of this idea. (查看原文)
When defining a procedure that operates on inductively defined data, the structure of the program should be patterned after the structure of the data. (查看原文)
1 有用 罗哈哈 2016-12-30 18:56:51
强烈推荐
4 有用 skiffliu 2013-11-19 14:52:22
作为一个400level的编程语言导论的教材，这本书真的被sicp甩出去200条街不止。。。期末之前我自己还是再刷一遍sicp吧。。。
1 有用 wangxiaohui 2015-08-04 09:29:08
大道至简
0 有用 贫道爱妖孽 2018-03-05 23:29:37
适合我这样零基础的小白。比较容易了解程序语言的设计。本书的内容和结构设计的相对来说要比 SICP 清晰，不过是囫囵吞枣地读了一遍，等买的实体书再仔细的读一遍。
2 有用 灼弦 2015-12-19 23:15:56
实践向教材，由浅入深地讲解了各种解释器的实现，内容覆盖了环境的表示、continuation、type check/inference、OO语言的基本实现，etc... 遗憾的是，缺乏macro方面的介绍。每一节后面都会有部分有一定深度的习题，延伸正文的内容。可能为了章节之间的解耦，每一章之间的连贯性不算太大，每一部分的内容都用独立的小语言讲解。建议读者在实践时，可以将全书的知识综合起来，实现一个... 实践向教材，由浅入深地讲解了各种解释器的实现，内容覆盖了环境的表示、continuation、type check/inference、OO语言的基本实现，etc... 遗憾的是，缺乏macro方面的介绍。每一节后面都会有部分有一定深度的习题，延伸正文的内容。可能为了章节之间的解耦，每一章之间的连贯性不算太大，每一部分的内容都用独立的小语言讲解。建议读者在实践时，可以将全书的知识综合起来，实现一个具有各种特性的解释器 (展开)