「Essentials of Programming Language筆記」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學}} * 標題：''Essentials of Programming Language'' * 暫譯：程式語言的要素 * 作者：Daniel P. Friedman, Mitchell Wand *…」的新頁面） |
（無差異）
|
於 2024年4月7日 (日) 16:46 的最新修訂
- 標題：Essentials of Programming Language
- 暫譯：程式語言的要素
- 作者：Daniel P. Friedman, Mitchell Wand
- ISBN 0262062798
Ch2
CH2.1
- 資料結構可以分成
- 抽象化
- 實作
- abstract data type
- 代表（client code）和實作獨立
- 資料v的代表式標記為：⌈v⌉
- 實作決定資料結構如何被代表
- 列出實作自然數的方法
- 資料結構要有
- 觀察特性 isDataType?
- 建構子
- 取出子 extractor
Ch2.2
p.36 變數var可以用不同的辦法表示。包含數字
- emptyEnv
- apply env v
- extendEnv var v
intepreter recipe
- 觀察 a piece of data
- 決定其代表什麼樣的資料
- 抽取資料之部件，使正確的事情處理好