构造过程抽象
关于计算过程的知识
- 使工具：lisp
- lisp描述过程性的思想 ps
20世纪50年代后期产物 - scheme 本书使用的lisp方言版本
- lisp：计算过程的lisp描述本身又可以作为lisp的数据来表示和操作，这就是选用lisp作为改书的编程语言原因
- lisp描述过程性的思想 ps
1.1 程序设计的基本元素
一个强大的语言应该具备三个机制：
- 基本表达式
- 组合方法
- 抽象方法
表达式
(+ 137 349)
486
(- 1000 334)
666
(* 5 99)
(+ (* 3
(+ (* 2 4)
(+ 3 5)))
(+ (- 10 7)
6))
命名和环境
像(define size 2) 这种变量定义，解释器必须维护某种存储能力，才能取到变量所代表的值，这种存储称为 环境（全局环境）
组合式的求值
- 树形积累
重点：环境所扮演的角色就是确定表达式中各个符号的意义
环境是具有普遍概念的，它为求值过程提过程的进行提供了一种上下文，对于理解程序的执行起到了极其重要的作用
语法糖：特殊的语法形式，本来可以采用统一的形式描述的东西给出了另一种表面结构
复合过程：
平方的表达
过程应用的 代换模型
应用序和正则序
