Essentials of Programming Language筆記
跳至導覽
跳至搜尋
- 標題：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
- 決定其代表什麼樣的資料
- 抽取資料之部件，使正確的事情處理好