另请参阅<<Essential SICP Primer>>
1，John Locke：有关人类理解的随笔，1690
心智的活动，除了尽力产生各种简单的认识外，主要表现在如下三个方面：1）将若干简单的认识组合为一个复合认识，由此产生出各种复杂的认识；2）将两个认识放在一起对照，不管它们如何简单或者复杂，在这样做时并不将它们合而为一；由此得到有关它们的相互关系的认识；3）将有关认识与那些在实际中和它们同在的所有其它认识隔离开，这就是抽象，所有具有普遍性的认识都是这样得到的
呵呵，和面向对象者爱引用的差不多：
在大英百科全书关于“分类学理论”中提出：人类在认识和理解现实世界的过程中，普遍运用着三个构造法则：
区分对象及其属性，例如，区分一棵树和树的大小或空间位置。
区分整体对象及其组成部分，例如，区分一棵树和树枝。
不同对象类的形成及区分，例如，所有树的类和所有石头的类的形成和区分
2，(+ (* 3 5) (- 10 6) )
虽然与人们的习惯相背，但却几乎是对解释器来说最容易实现的一种语法，形式完全统一；没有优先级，括号是唯一的优先级；任何复杂的表达式都可以由最简单的表达式组合（Composite）而成；在主流高级语言中，只能通过函数对象来模拟得到类似的表达式
3，甚高级语言
说明性描述和行动性描述有着内在联系，就像数学和计算机科学有着内在联系一样；有一个当前在程序设计语言设计领域中很重要的问题，那就是所谓的甚高级语言，在这种语言里，编程就是写说明性的语句；这里的想法是将解释器做的足够复杂，程序员描述了需要“做什么”的知识后，这种解释器就能自动产生出“如何做”的知识；一般而言这是不可能做到的，但在这一领域已经取得了巨大进步；
和DSL有一定的联系
1，线性迭代（尾递归），线性递归，树型递归
2，lambda
匿名过程，直接以过程体表示过程，可用于以更加自然的方式来表示表达式
3，第一级元素的特权
可以用变量命名
可以提供给过程作为参数
可以由过程作为结果返回
可以包含在数据结构中
Lisp给了“过程”完全的第一级状态，C++则给了函数指针、函数对象完全的第一级状态
4，数据抽象
将数据对象的表示或说实现，与对数据对象的使用分开
1，闭包
是否可理解为Lisp对Composite Pattern的显式支持
2，基础通用结构
list，tree；tree可以看作list的composite
3，基础通用操作
参数形式上的统一，使定义通用操作成为可能；返回值形式上的统一，使定义操作序列成为可能（Pipe Pattern）
统一的参数和返回值形式是list（C++里则是iterator的区间）
数据的序列用list表示，操作序列是否也可以用list表示？或许前文已经提到了我忘记了，或许后文还会说明；C++标准库尚未提供对操作的composite的支持，boost里有所涉及，但在Lisp里面，估计是很自然的支持
目前涉及的通用操作已经有filter，map，accumulate，foreach等；filter和map可用在Pipe中间，但accumulate的返回值不保证是list，所以可能只能用在Pipe的末端；foreach干脆就没有返回值
1，语言要素
在描述一种语言时，应将注意力集中到语言的基本原语，它的组合手段，以及它的抽象手段，这是最重要的；
2，强健设计的语言层次
分层设计：一个复杂的系统应该通过一系列的层次构造出来，每个层次上所用的语言都提供了一些基本元素、组合手段、还有对该层次的细节做抽象的手段，即每个层次都为表述系统的特征提供了一套独特词汇，以及一套修改这一系统的方式；
正交设计：分层是因为目前的语言提供的连接手段是“调用”，如果语言能够提供“调用”之外的其它手段，如“织入”，则可能在分层的体系结构之外出现正交的体系结构；
3，Huffman编码与二叉树
待解决问题与所选数据结构的完美搭配
4，begin
即序列求值，C++中则是逗号表达式
5，树结构的缺点
叶子只能属于一个分支
6，函数式程序设计与命令式程序设计
不用任何赋值的程序设计称为函数式程序设计；与之相对应的，广泛采用赋值的程序设计被称为命令式程序设计
7，引用透明性与别名
如果一个语言支持在表达式里“同一的东西可以相互替换”的概念，这样替换不会改变有关表达式的值，这个语言就称为是具有“引用透明性”；一个计算对象可以通过多个名字访问的现象称为“别名”
8，同一与等价
“同一”在实现中往往是指向同一块存储的多个别名；“等价”则往往是指向多块存储的不同对象，但它们在计算中可以相互替换而不影响表达式的值；同一比等价更为严格
9，引用对象与值对象
在系统计算中需要必须是“同一”对象的，往往用引用对象来实现，此时对象有全局唯一ID，缺省即存储地址；
在系统计算中需要“等价”对象即可的，往往用值对象来实现，此时对象的存储地址无关紧要，这类对象常见有货币等
10，有状态与无状态
内部状态随时间变化的，称为有状态，反之为无状态；
时间是本质问题，有状态对象在并发系统中存在严重缺陷
有状态对象往往需要“同一性”，无状态对象往往“等价”即可
11，过程与数据
真实的情况是，在一个可以将过程当作对象的语言里，在“过程”和“数据”之间并没有本质性的差异，因此我们可以自由选择自己所需的语法糖衣，以便按自己选定的风格去做程序设计
1，并发
有共享资源的系统中，不可避免的问题
串行化只是解决并发的一种方法，并且会带来不可避免的死锁问题
2，流
概念上不同于表，实现上可以看作是采用了“延时求值”的表
3，状态
可以表示为值的“没有时间”的流
4，流的应用
替换迭代模型，替换局部状态，无穷流，表列（即流的流的流...）
5，流与状态
无状态的流可构造出有状态的系统，原因在于将提供时态的责任推给了用户方
6，对象与函数式
一种将世界模拟为一集相互分离的，受时间约束的，有局部状态的，相互交流的对象
一种将世界看作一个大函数，是单一的，无时间的，无状态的统一体
1，应用序与正则序
惰性求值/延时求值不止带来性能上的优化，更带来行为本质上的变化
2，非确定性计算
将选择与回溯机制隐藏在语言内部，可轻松解决诸如21点之类的问题，因为“描述即解”
3，规则
一条规则就是一个逻辑蕴含：如果对所有模式变量的一个赋值满足规则的体，那么它就满足其结论；规则的体可以看作一组条件的组合，规则的结论可以看作对满足这组条件的实例进行的描述
4，合一
模式匹配的一种推广，即为了找出查询时应该使用哪条规则，而找出规则结论与查询条件能够模式匹配的那条规则
5，逻辑程序设计的目标
为程序员提供一种技术，它能将计算问题分解为两个相互分离的问题：“什么”需要计算，以及“如何”进行这一计算；通常“如何”进行计算便是一组规则，“什么”需要计算便是规则的结论，从使用者的角度来说，对规则的“描述即解”，SQL应该是一种典型的应用
6，not
逻辑程序设计语言里的not反映了一种所谓的“封闭世界假说”，它认为所有有关的知识都已经包含在所用的数据库里了
1，receive返回多个值
采用了多个容器做参数的方式
2，垃圾收集
停止并复制法，标记并清除法
3，尾递归
与惰性求值一样，尾递归的优化并不止是一种优化，而可能改变运行时行为，如使用常量空间，否则可能耗尽系统空间
4，编译与解释
编译可以大大提高程序执行的效率，解释则为程序开发和排除错误提供了一个更强大的环境，因为被执行的源代码在运行期间都是可用的，可用去检查和修改，此外，由于整个基本操作的库都在那里，我们可以在排除错误的过程中构造新程序，随时把它们加入系统中；
由于看到了编译和解释的互补优势，现代程序开发环境很推崇一种混合的策略，使得解释性程序和编译性程序可以互相调用；这就使程序员可以编译那些自己认为已经排除了错误的部分，从而取得编译方式的效率优势，而让那些正在进行交互式开发和排错的，还在不断变化的程序部分的执行仍然维持在解释模式中；还可以使程序员根据实际问题选择最合适的语言
