Essentials of Programming Languages – 2nd Edition

书名：Essentials of Programming Languages – 2nd Edition
作者：DanielP.Friedman/MitchellWand/ChristopherT.Haynes
译者：
ISBN：9780262062176
出版社：TheMITPress
出版时间：2001-1-29
格式：epub/mobi/azw3/pdf
页数：408
豆瓣评分： 9.3

书籍简介：

作者简介：

书友短评：

@ 阅微草堂 解释器模式需要解决的是，如果一种特定类型的问题发生的频率足够高，那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器，该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统（形式系统主要是由形式语言加上推理规则或转换规则构成的集合），它主要是被用来研究函数定义，函数应用和递归。简单点说，lambda演算就是一个小的形式系统，它主要表达了计算机计算中两个概念：“代入”和“置换”。“代入”通俗点解释就是和我们平常接触的函数调用类似，比如用实参代入到形参。“置换”一般理解为变量换名规则。 @ Mars 解释器模式需要解决的是，如果一种特定类型的问题发生的频率足够高，那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器，该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统（形式系统主要是由形式语言加上推理规则或转换规则构成的集合），它主要是被用来研究函数定义，函数应用和递归。简单点说，lambda演算就是一个小的形式系统，它主要表达了计算机计算中两个概念：“代入”和“置换”。“代入”通俗点解释就是和我们平常接触的函数调用类似，比如用实参代入到形参。“置换”一般理解为变量换名规则。 @ 龟 各种各样语言特性在习题里面都有！ @ qiao Prof. Friedman 出品，必属精品 @ Mars 很抽象，很难

添加微信公众号:好书天下获取