本章总结

第三章在整数、加法、变量和 let 之外，加入了：

1
2

谓词 eq?
条件表达式 if

本章没有另加布尔值，而是直接使用整数条件：

1
2

0      表示条件不成立
非 0   表示条件成立

eq? 的结果固定为 0 或 1。

解释器里的核心变化是选择：

1
2
3

先求值 condition
condition 非 0，只求值 then
condition 为 0，只求值 else

编译器里的核心变化是控制流：

1

AST -> IR branch / jump / label -> cmpq / je / jmp

label 标出基本块入口，branch 和 jump 建立显式的控制流边；块末尾没有跳转时，也可以顺序 fallthrough 到下一个块。then 与 else 把结果写进同一个内部名字，两条路径再在 end label 汇合。

把解释器和编译器放在一起比较：

前两章的分界线仍然成立：

1
2
3
4

AST          保存程序结构
解释器       按语言规则选择并求值
IR           保存计算步骤和控制流
汇编生成器   把 IR 操作翻译成机器指令文本

下一章会加入函数和调用。到那时，控制流不只会跳到同一函数里的 label，还会进入另一段函数代码并返回。