Essentials of Programming Language筆記

出自Tan Kian-ting的維基
於 2024年4月7日 (日) 16:46 由 Tankianting（討論 | 貢獻） 所做的修訂 （建立內容為「{{Nav|程式語言、邏輯學}} * 標題：''Essentials of Programming Language'' * 暫譯：程式語言的要素 * 作者：Daniel P. Friedman, Mitchell Wand *…」的新頁面）
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)
跳至導覽 跳至搜尋
  • 標題：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
  • 決定其代表什麼樣的資料
  • 抽取資料之部件，使正確的事情處理好
取自「https://kianting.info/wiki/index.php?title=Essentials_of_Programming_Language筆記&oldid=2610」