圖書標籤: 編程語言 計算機科學 編程 計算機 programming Programming 編譯原理 程序設計
发表于2024-12-23
Essentials of Programming Languages - 2nd Edition pdf epub mobi txt 電子書 下載 2024
Prof. Friedman 齣品,必屬精品
評分Prof. Friedman 齣品,必屬精品
評分解釋器模式需要解決的是,如果一種特定類型的問題發生的頻率足夠高,那麼可能就值得將該問題的各個實例錶述為一個簡單語言中的句子。這樣就可以構建一個解釋器,該解釋器通過解釋這些句子來解決該問題。lambda演算是一個形式係統(形式係統主要是由形式語言加上推理規則或轉換規則構成的集閤),它主要是被用來研究函數定義,函數應用和遞歸。簡單點說,lambda演算就是一個小的形式係統,它主要錶達瞭計算機計算中兩個概念:“代入”和“置換”。“代入”通俗點解釋就是和我們平常接觸的函數調用類似,比如用實參代入到形參。“置換”一般理解為變量換名規則。
評分Prof. Friedman 齣品,必屬精品
評分解釋器模式需要解決的是,如果一種特定類型的問題發生的頻率足夠高,那麼可能就值得將該問題的各個實例錶述為一個簡單語言中的句子。這樣就可以構建一個解釋器,該解釋器通過解釋這些句子來解決該問題。lambda演算是一個形式係統(形式係統主要是由形式語言加上推理規則或轉換規則構成的集閤),它主要是被用來研究函數定義,函數應用和遞歸。簡單點說,lambda演算就是一個小的形式係統,它主要錶達瞭計算機計算中兩個概念:“代入”和“置換”。“代入”通俗點解釋就是和我們平常接觸的函數調用類似,比如用實參代入到形參。“置換”一般理解為變量換名規則。
eopl是一本极度长见识的书,在某种程度上,我觉得它写得比sicp还要好,当然前提是你得自己在电脑上将书上的代码一章一章地敲出来,顺带要做一做习题,这本书告诉了你很多关于编程语言的事情,这本书从一个很简单的解释器开始,然后开始一步一步添加新feature,添加了什么featur...
評分差不多把这本书看完了。总得来说挺有趣的一本书,前提是你得懂一些Scheme。不过Scheme也挺容易学会的。里面是各种小的解释器,基于书上的代码parser的部分基本可以不用担心(sllgen)。 习题里面都是给语言增加一些feature,大部分两星的习题花时间都能解决。 读完当然有收获,理...
評分eopl是一本极度长见识的书,在某种程度上,我觉得它写得比sicp还要好,当然前提是你得自己在电脑上将书上的代码一章一章地敲出来,顺带要做一做习题,这本书告诉了你很多关于编程语言的事情,这本书从一个很简单的解释器开始,然后开始一步一步添加新feature,添加了什么featur...
評分差不多把这本书看完了。总得来说挺有趣的一本书,前提是你得懂一些Scheme。不过Scheme也挺容易学会的。里面是各种小的解释器,基于书上的代码parser的部分基本可以不用担心(sllgen)。 习题里面都是给语言增加一些feature,大部分两星的习题花时间都能解决。 读完当然有收获,理...
評分eopl是一本极度长见识的书,在某种程度上,我觉得它写得比sicp还要好,当然前提是你得自己在电脑上将书上的代码一章一章地敲出来,顺带要做一做习题,这本书告诉了你很多关于编程语言的事情,这本书从一个很简单的解释器开始,然后开始一步一步添加新feature,添加了什么featur...
Essentials of Programming Languages - 2nd Edition pdf epub mobi txt 電子書 下載 2024