Essentials of Programming Languages - 2nd Edition 在线电子书 图书标签: 编程语言 计算机科学 编程 计算机 programming Programming 编译原理 程序设计
发表于2024-11-25
Essentials of Programming Languages - 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
很抽象,很难
评分解释器模式需要解决的是,如果一种特定类型的问题发生的频率足够高,那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器,该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统(形式系统主要是由形式语言加上推理规则或转换规则构成的集合),它主要是被用来研究函数定义,函数应用和递归。简单点说,lambda演算就是一个小的形式系统,它主要表达了计算机计算中两个概念:“代入”和“置换”。“代入”通俗点解释就是和我们平常接触的函数调用类似,比如用实参代入到形参。“置换”一般理解为变量换名规则。
评分很抽象,很难
评分各种各样语言特性在习题里面都有!
评分解释器模式需要解决的是,如果一种特定类型的问题发生的频率足够高,那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器,该解释器通过解释这些句子来解决该问题。lambda演算是一个形式系统(形式系统主要是由形式语言加上推理规则或转换规则构成的集合),它主要是被用来研究函数定义,函数应用和递归。简单点说,lambda演算就是一个小的形式系统,它主要表达了计算机计算中两个概念:“代入”和“置换”。“代入”通俗点解释就是和我们平常接触的函数调用类似,比如用实参代入到形参。“置换”一般理解为变量换名规则。
差不多把这本书看完了。总得来说挺有趣的一本书,前提是你得懂一些Scheme。不过Scheme也挺容易学会的。里面是各种小的解释器,基于书上的代码parser的部分基本可以不用担心(sllgen)。 习题里面都是给语言增加一些feature,大部分两星的习题花时间都能解决。 读完当然有收获,理...
评分差不多把这本书看完了。总得来说挺有趣的一本书,前提是你得懂一些Scheme。不过Scheme也挺容易学会的。里面是各种小的解释器,基于书上的代码parser的部分基本可以不用担心(sllgen)。 习题里面都是给语言增加一些feature,大部分两星的习题花时间都能解决。 读完当然有收获,理...
评分eopl是一本极度长见识的书,在某种程度上,我觉得它写得比sicp还要好,当然前提是你得自己在电脑上将书上的代码一章一章地敲出来,顺带要做一做习题,这本书告诉了你很多关于编程语言的事情,这本书从一个很简单的解释器开始,然后开始一步一步添加新feature,添加了什么featur...
评分eopl是一本极度长见识的书,在某种程度上,我觉得它写得比sicp还要好,当然前提是你得自己在电脑上将书上的代码一章一章地敲出来,顺带要做一做习题,这本书告诉了你很多关于编程语言的事情,这本书从一个很简单的解释器开始,然后开始一步一步添加新feature,添加了什么featur...
评分差不多把这本书看完了。总得来说挺有趣的一本书,前提是你得懂一些Scheme。不过Scheme也挺容易学会的。里面是各种小的解释器,基于书上的代码parser的部分基本可以不用担心(sllgen)。 习题里面都是给语言增加一些feature,大部分两星的习题花时间都能解决。 读完当然有收获,理...
Essentials of Programming Languages - 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024