程序如何从片段走向实例[lp-model]
片段保存完整的Scheme define、原文、来源和显式依赖。make-program验证片段身份、重复定义与导出,建立不执行的计划;instantiate-program按计划顺序在新的命名空间中执行定义,得到有运行状态的实例。
片段 → 装配计划 → 执行实例描述程序的生命周期。fragment-tree、program-tree和源码输出读取片段或计划,不触发实例化;instance-binding则从实例取得已声明的入口。
累计器的实际计划展示如下,片段列表中的链接可以打开定义:
累计器的装配计划[lp-accumulator]
累计器教程把这些操作写成一个完整案例,结果(2 5 10)展示同一实例保留状态、不同实例互相隔离。文章内直接执行介绍较轻的program写法,适合函数说明与可核验计算,不建立独立的装配计划。