用途:面向 SICP(Structure and Interpretation of Computer Programs,第二版,Abelson、Sussman 与 Julie Sussman 著,Perlis 作序,MIT 1996)的阅读与学习,用节点方式组织全书章节,便于按主题浏览与处理。
主要能力:覆盖五章内容——第1章用过程构建抽象(表达式、命名、求值、递归与迭代、增长阶、高阶过程、λ、词法作用域、不动点、牛顿法);第2章用数据构建抽象(有理数、抽象屏障、层次数据与闭包性质、序列、树、图形语言、符号数据、求导、集合、Huffman 编码、多重表示、标志数据、数据导向编程、类型强制、符号代数);第3章模块化、对象与状态(set!、赋值的代价、环境模型、帧与过程对象、可变数据、队列、表格、数字电路、约束、并发、序列化器、死锁、流、延迟求值、无限流、信号处理);第4章元语言抽象(元循环求值器、eval/apply、语法过程、环境、惰性求值、正规序与应用序、非确定性计算、amb、回溯、逻辑程序设计、合一、模式匹配、查询系统);第5章寄存器机器计算(数据通路、控制器、子程序、寄存器机器模拟器、汇编器、存储分配与垃圾回收、向量、停复制、显式控制求值器、编译、词法地址、接口)。
结构说明:由 sicp.info 经几何态射翻译,保留层级节点结构,转为 ACSet,并用 GF(3) 三色着色支持三分处理;节点总数 138,MINUS、ERGODIC、PLUS 各 46,模 3 和为 0。GF(3) 着色使用与 Gay.jl 相同的 SplitMix64 哈希。
使用方式:在 Emacs 中可用 info sicp 阅读;可用 bb info_to_skill_morphism.bb translate sicp.info 重新翻译,用 verify 校验语法与 GF(3) 守恒,用 parse 输出 CRDT 风格 sexp。
适用场景:学习与教学 SICP 的计算过程、抽象与解释器设计;对节点做一致性校验。
限制:资料未提供具体收费、平台支持范围或运行环境要求;上述命令需相应工具(bb、Emacs 等)支持。