第4章笔记：函数、闭包与递归

联系

• 一等函数：写出结构、语义状态、反例和测试。
• 自由变量与闭包环境：写出结构、语义状态、反例和测试。
• 函数调用帧：写出结构、语义状态、反例和测试。
• 递归与不动点直觉：写出结构、语义状态、反例和测试。
• 尾调用与尾递归：写出结构、语义状态、反例和测试。
• 续延的第一印象：写出结构、语义状态、反例和测试。
• 闭包解释器里程碑：写出结构、语义状态、反例和测试。

练习

以一等函数为输入，一直推进到闭包解释器里程碑，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第4章笔记：函数、闭包与递归

联系

• 一等函数：写出结构、语义状态、反例和测试。
• 自由变量与闭包环境：写出结构、语义状态、反例和测试。
• 函数调用帧：写出结构、语义状态、反例和测试。
• 递归与不动点直觉：写出结构、语义状态、反例和测试。
• 尾调用与尾递归：写出结构、语义状态、反例和测试。
• 续延的第一印象：写出结构、语义状态、反例和测试。
• 闭包解释器里程碑：写出结构、语义状态、反例和测试。

练习

以一等函数为输入，一直推进到闭包解释器里程碑，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第4章笔记：函数、闭包与递归

联系

• 一等函数：写出结构、语义状态、反例和测试。
• 自由变量与闭包环境：写出结构、语义状态、反例和测试。
• 函数调用帧：写出结构、语义状态、反例和测试。
• 递归与不动点直觉：写出结构、语义状态、反例和测试。
• 尾调用与尾递归：写出结构、语义状态、反例和测试。
• 续延的第一印象：写出结构、语义状态、反例和测试。
• 闭包解释器里程碑：写出结构、语义状态、反例和测试。

练习

以一等函数为输入，一直推进到闭包解释器里程碑，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。