scip-ex
  • 主页
  • 1.构造过程抽象
    • 1.1 程序设计的基本元素
    • 1.2 过程与它们所产生的计算
    • 1.3 用高阶函数做抽象
  • 2.构造数据抽象
    • 2.1 数据抽象导引
    • 2.2 层次性数据和闭包性质
    • 2.3 符号数据
    • 2.4 抽象数据的多重表示
    • 2.5 带有通用型操作的系统
  • 3.模块化、对象和状态
    • 3.1 赋值和局部状态
    • 3.2 求值的环境模型
    • 3.3 用变动数据做模拟
    • 3.4 并发:时间是一个本质问题
    • 3.5 流
  • 4.元语言抽象
    • 4.1 元循环求值器
    • 4.2 Scheme 的变形 -- 惰性求值
    • 4.3 Scheme 的变形 -- 非确定性求值
    • 4.4 逻辑程序设计
  • 5.寄存器机器里的计算
    • 5.1 寄存器机器的设计
    • 5.2 一个寄存器机器模拟器
    • 5.3 存储分配和废料收集
    • 5.4 显式控制的求值器
    • 5.5 编译
 
scip-ex
  • Docs »
  • 2.构造数据抽象 »
  • 2.2 层次性数据和闭包性质
  • Edit on GitHub

Next Previous

Built with MkDocs using a theme provided by Read the Docs.