構造過程抽象
關于計算過程的知識
- 使工具:lisp
- lisp描述過程性的思想 ps
20世紀50年代后期產(chǎn)物 - scheme 本書使用的lisp方言版本
- lisp:計算過程的lisp描述本身又可以作為lisp的數(shù)據(jù)來表示和操作,這就是選用lisp作為改書的編程語言原因
- lisp描述過程性的思想 ps
1.1 程序設計的基本元素
一個強大的語言應該具備三個機制:
- 基本表達式
- 組合方法
- 抽象方法
表達式
(+ 137 349)
486
(- 1000 334)
666
(* 5 99)
(+ (* 3
(+ (* 2 4)
(+ 3 5)))
(+ (- 10 7)
6))
命名和環(huán)境
像(define size 2) 這種變量定義,解釋器必須維護某種存儲能力,才能取到變量所代表的值,這種存儲稱為 環(huán)境(全局環(huán)境)
組合式的求值
- 樹形積累
重點:環(huán)境所扮演的角色就是確定表達式中各個符號的意義
環(huán)境是具有普遍概念的,它為求值過程提過程的進行提供了一種上下文,對于理解程序的執(zhí)行起到了極其重要的作用
語法糖:特殊的語法形式,本來可以采用統(tǒng)一的形式描述的東西給出了另一種表面結構
復合過程:
平方的表達
過程應用的 代換模型
應用序和正則序