作者:
Daniel P. Friedman
/
Mitchell Wand
/
Christopher T. Haynes
出版社: The MIT Press
出版年: 2001-1-29
页数: 408
定价: USD 62.00
装帧: Hardcover
ISBN: 9780262062176
出版社: The MIT Press
出版年: 2001-1-29
页数: 408
定价: USD 62.00
装帧: Hardcover
ISBN: 9780262062176
Essentials of Programming Languages - 2nd Edition的创作者
· · · · · ·
原文摘录 · · · · · ·
-
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. (查看原文) —— 引自第203页 -
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.4 Exercises
喜欢读"Essentials of Programming Languages - 2nd Edition"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"Essentials of Programming Languages - 2nd Edition"的人也喜欢 · · · · · ·
Essentials of Programming Languages - 2nd Edition的书评 · · · · · · ( 全部 2 条 )
李树花开
The MIT Press2008版
看透语言本质的一本书！
eopl是一本极度长见识的书，在某种程度上，我觉得它写得比sicp还要好，当然前提是你得自己在电脑上将书上的代码一章一章地敲出来，顺带要做一做习题，这本书告诉了你很多关于编程语言的事情，这本书从一个很简单的解释器开始，然后开始一步一步添加新feature，添加了什么featur...
(展开)
> 更多书评 2篇
论坛 · · · · · ·
| 这本书要出第三版了 | 来自paranoid.emacs | 4 回应 | 2013-01-07 14:16:24 |
这本书的其他版本 · · · · · · ( 全部3 )
以下书单推荐 · · · · · · ( 全部 )
- learn about computer science (paranoid.emacs)
- 计算机程序的本质 (Mars)
- Rich Hickey推荐 (卡萨布兰卡)
- Lisp bookshelf (Creasy)
- Summer 2013 (江东子湛)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有295人想读，手里有一本闲着?
订阅关于Essentials of Programming Languages - 2nd Edition的评论:
feed: rss 2.0
2 有用 阅微草堂 2016-01-17 01:10:09
解释器模式需要解决的是，如果一种特定类型的问题发生的频率足够高，那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器，该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统（形式系统主要是由形式语言加上推理规则或转换规则构成的集合），它主要是被用来研究函数定义，函数应用和递归。简单点说，lambda演算就是一个小的形式系统，它主要表达了计算机计算中两个... 解释器模式需要解决的是，如果一种特定类型的问题发生的频率足够高，那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器，该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统（形式系统主要是由形式语言加上推理规则或转换规则构成的集合），它主要是被用来研究函数定义，函数应用和递归。简单点说，lambda演算就是一个小的形式系统，它主要表达了计算机计算中两个概念：“代入”和“置换”。“代入”通俗点解释就是和我们平常接触的函数调用类似，比如用实参代入到形参。“置换”一般理解为变量换名规则。 (展开)
0 有用 Mars 2008-04-21 17:05:54
很抽象，很难
0 有用 qiao 2013-07-20 13:40:27
Prof. Friedman 出品，必属精品
0 有用 龟 2015-07-04 16:49:39
各种各样语言特性在习题里面都有！
2 有用 阅微草堂 2016-01-17 01:10:09
解释器模式需要解决的是，如果一种特定类型的问题发生的频率足够高，那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器，该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统（形式系统主要是由形式语言加上推理规则或转换规则构成的集合），它主要是被用来研究函数定义，函数应用和递归。简单点说，lambda演算就是一个小的形式系统，它主要表达了计算机计算中两个... 解释器模式需要解决的是，如果一种特定类型的问题发生的频率足够高，那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器，该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统（形式系统主要是由形式语言加上推理规则或转换规则构成的集合），它主要是被用来研究函数定义，函数应用和递归。简单点说，lambda演算就是一个小的形式系统，它主要表达了计算机计算中两个概念：“代入”和“置换”。“代入”通俗点解释就是和我们平常接触的函数调用类似，比如用实参代入到形参。“置换”一般理解为变量换名规则。 (展开)
0 有用 龟 2015-07-04 16:49:39
各种各样语言特性在习题里面都有！
0 有用 qiao 2013-07-20 13:40:27
Prof. Friedman 出品，必属精品
0 有用 Mars 2008-04-21 17:05:54
很抽象，很难