结合 Abelson & Sussman 的《SICP》，面向程序员的硬核笔记：计算的本质是过程与数据的对偶，抽象三层（基本表达/组合手段/抽象手段），从牛顿法开方、高阶函数模板、有理数数据抽象、cons 的闭包性质，一路走到流与惰性求值、元循环求值器的 eval/apply 循环，附 Mermaid 图、MIT 6.001 与 Viaweb 掌故和避坑指南。