X

曜彤.手记

随记,关于互联网技术、产品与创业

吉 ICP 备10004938-2号

SICP-计算机程序的构造和解释(一)

SICP 第一章内容回顾。Lisp 语言的一种最重要的特点就是:计算过程的 Lisp 描述(称为过程)本身又可以作为 Lisp 的数据来表示和操作。

  • 对各种表达式的求值规则可以描述为一个简单的通用规则(+ 1 2)和一组针对不多的特殊形式的专门规则(define x 2);
  • 求值一个组合式时需要先对其中的最左元素求值/展开(基本运算符、复合过程)。在树形展开式中依次从叶子节点向上求值;
  • 代换模型:用实际参数代替形式参数,可用于对简单的“过程范围”进行求值;
  • 正则序求值:完全展开而后规约,可能存在表达式重复求值;应用序求值:先求值参数(复用其值)而后展开;Lisp 采用应用序求值;

(待更新)