作者:
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
这本书的其他版本 · · · · · · ( 全部3 )
以下书单推荐 · · · · · · ( 全部 )
- learn about computer science (paranoid.emacs)
- 计算机程序的本质 (Mars)
- Rich Hickey推荐 (卡萨布兰卡)
- Lisp bookshelf (Creasy)
- Summer 2013 (江东子湛)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有309人想读,手里有一本闲着?
订阅关于Essentials of Programming Languages (2/e)的评论:
feed: rss 2.0
3 有用 阅微草堂 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
各种各样语言特性在习题里面都有!