Scheme笔记 -- 3

趁着最近比较闲，写完了关于符号处理，这里是编译出来的pdf文档：
http://live4thee.googlepages.com/scheme-intro.pdf.gz

另外，在sharesource的Hg仓库里保存着最新的LaTeX源文件：
http://hg.sharesource.org/sysnotes/

下一章介绍约束传播系统。以电路系统为例，因为方程V = IR始终成立，于是一条线路上，当电压、电阻和电流中有两者确定时，第三个元素的值便也随之确定。

虽然在数学中，只要一个方程便能描述。但在编程语言中往往不得不写三个过程，知道两个元素后求解第三个元素。因为传统上计算机程序总是被组织成一种单向的计算，对于给定参数给出所需要的结果。

约束传播系统通过组合各种基本约束，构造出约束网络，动态生成各种元素的状态。