第15章函数式程序设计语言

实现闭包、不可变变量、内联、闭包转换、尾递归和惰性求值；用C编译流水线、状态轨迹和端到端验证门交付自由变量集、闭包布局、转换IR、尾调用与惰性状态

学习目标

能说明“第15章函数式程序设计语言”如何实现闭包、不可变变量、内联、闭包转换、尾递归和惰性求值，并区分作者C/Java/ML轨道、中文C版与本站重写
能先预测“自由变量、环境对象和调用约定怎样支持高阶函数？”会改变哪一个C接口、树/图状态、AST/IR、汇编或运行结果，再操作三类交互证据
能只注入“闭包转换遗漏一个自由变量，嵌套函数读取错误环境槽”，定位首个偏离“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”的状态，并从同一快照完成恢复

为什么从这个问题开始

“第15章函数式程序设计语言”围绕“自由变量、环境对象和调用约定怎样支持高阶函数？”建立贯穿任务：在Tiger C实现轨道中复现“第15章函数式程序设计语言”的输入、状态、变换与验证。先写下哪个C接口、树/图状态、AST/IR、汇编或运行结果会最先变化，再运行参考、故障和恢复路径；运行后补理由不算预测。只有守住“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”并交付自由变量集、闭包布局、转换IR、尾调用与惰性状态，单模块测试、编译成功或性能变化才构成机制证据。

原版书目、296个正式坐标与C轨道边界

“第15章函数式程序设计语言”以Andrew W. Appel作者官方目录核对 Modern Compiler Implementation 的C、Java、ML三种实现轨道、2部分、21章和Tiger语言附录；以作者C版页面核对Andrew·W·Appel与Maia Ginsburg、Cambridge University Press、C实现轨道、平装ISBN 0-521-60765-5、软件/练习模块与勘误入口，再以Cambridge C版页面核对原版身份。

“第15章函数式程序设计语言”以中文版修订版完整目录核对赵克佳、黄春、沈志宇译《现代编译原理：C语言描述（修订版）》，人民邮电出版社，2018年，385页，ISBN 9787115476883。“第15章函数式程序设计语言”的正式分母为2个部分标题、21个章标题、1个附录标题、251个编号节/小节、附录4节和17个正式“程序设计”项目，合计296个核心层级；每章重复的推荐阅读与习题不另计。

作者页面可访问不等于允许复制书稿，“第15章函数式程序设计语言”不复制、翻译或改写原文、图表、伪码与习题；所有中文讲解、C接口示意、状态轨迹、反例、交互、练习和答案均为独立教学重写。本页独立核对 1只用于核对本页C实现或现代IR边界，不能混入Java/ML轨道或反向证明原书采用本站表述。

原版目录层级与C项目机制

第15章函数式程序设计语言

正式坐标 1/17。 原版目录键 第15章函数式程序设计语言。在“第15章函数式程序设计语言”的第1个正式坐标中，「第15章函数式程序设计语言」通过落实C模块接口、数据结构、所有权、阶段输入/输出和可运行项目推进函数式闭包、转换与求值策略；复核者保存头文件/实现对照、模块依赖、状态快照、构建日志与黄金输出，出现混用Java/ML轨道接口或单模块状态无法在C中整合就撤回结论。

15·1 一个简单的函数式语言

正式坐标 2/17。 原版目录键 15.1 一个简单的函数式语言。围绕“自由变量、环境对象和调用约定怎样支持高阶函数？”，“第15章函数式程序设计语言”在坐标2把「15·1 一个简单的函数式语言」落实为把对象布局、动态分派或闭包环境与调用约定降到IR；只有类/vtable布局、自由变量、闭包对象、调用和求值轨迹可重放且反例排除对象偏移、自由变量、环境槽或求值策略错误，本节点才算掌握。

15·2 闭包

正式坐标 3/17。 原版目录键 15.2 闭包。“第15章函数式程序设计语言”的目录节点3「15·2 闭包」不能停在术语或伪码：它要把对象布局、动态分派或闭包环境与调用约定降到IR，交付类/vtable布局、自由变量、闭包对象、调用和求值轨迹，并把对象偏移、自由变量、环境槽或求值策略错误设为单一反事实。

15·3 不变的变量

正式坐标 4/17。 原版目录键 15.3 不变的变量。对“第15章函数式程序设计语言”而言，「15·3 不变的变量」在第4次检查中改变可观察状态，因为它负责把语言规则映射到测试、AST、类型、IR、运行时和诊断；规则—测试矩阵、AST/类型/IR快照、运行结果与诊断必须与“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受语言规范、内建签名与编译器实现不一致。

15·3·1 基于延续的I/O

正式坐标 5/17。 原版目录键 15.3.1 基于延续的I/O。在“第15章函数式程序设计语言”的第5个正式坐标中，「15·3·1 基于延续的I/O」通过把“基于延续的I/O”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链推进函数式闭包、转换与求值策略；复核者保存第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据，出现只复述“基于延续的I/O”名称而没有可观察状态、项目实现和恢复验证就撤回结论。

15·3·2 语言上的变化

正式坐标 6/17。 原版目录键 15.3.2 语言上的变化。围绕“自由变量、环境对象和调用约定怎样支持高阶函数？”，“第15章函数式程序设计语言”在坐标6把「15·3·2 语言上的变化」落实为把“语言上的变化”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链；只有第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“语言上的变化”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

15·3·3 纯函数式语言的优化

正式坐标 7/17。 原版目录键 15.3.3 纯函数式语言的优化。“第15章函数式程序设计语言”的目录节点7「15·3·3 纯函数式语言的优化」不能停在术语或伪码：它要把对象布局、动态分派或闭包环境与调用约定降到IR，交付类/vtable布局、自由变量、闭包对象、调用和求值轨迹，并把对象偏移、自由变量、环境槽或求值策略错误设为单一反事实。

15·4 内联扩展

正式坐标 8/17。 原版目录键 15.4 内联扩展。对“第15章函数式程序设计语言”而言，「15·4 内联扩展」在第8次检查中改变可观察状态，因为它负责把“内联扩展”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链；第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据必须与“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受只复述“内联扩展”名称而没有可观察状态、项目实现和恢复验证。

15·5 闭包变换

正式坐标 9/17。 原版目录键 15.5 闭包变换。在“第15章函数式程序设计语言”的第9个正式坐标中，「15·5 闭包变换」通过把对象布局、动态分派或闭包环境与调用约定降到IR推进函数式闭包、转换与求值策略；复核者保存类/vtable布局、自由变量、闭包对象、调用和求值轨迹，出现对象偏移、自由变量、环境槽或求值策略错误就撤回结论。

15·6 高效的尾递归

正式坐标 10/17。 原版目录键 15.6 高效的尾递归。围绕“自由变量、环境对象和调用约定怎样支持高阶函数？”，“第15章函数式程序设计语言”在坐标10把「15·6 高效的尾递归」落实为把对象布局、动态分派或闭包环境与调用约定降到IR；只有类/vtable布局、自由变量、闭包对象、调用和求值轨迹可重放且反例排除对象偏移、自由变量、环境槽或求值策略错误，本节点才算掌握。

15·7 懒惰计算

正式坐标 11/17。 原版目录键 15.7 懒惰计算。“第15章函数式程序设计语言”的目录节点11「15·7 懒惰计算」不能停在术语或伪码：它要把“懒惰计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，交付第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据，并把只复述“懒惰计算”名称而没有可观察状态、项目实现和恢复验证设为单一反事实。

15·7·1 传名调用计算

正式坐标 12/17。 原版目录键 15.7.1 传名调用计算。对“第15章函数式程序设计语言”而言，「15·7·1 传名调用计算」在第12次检查中改变可观察状态，因为它负责把“传名调用计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链；第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据必须与“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受只复述“传名调用计算”名称而没有可观察状态、项目实现和恢复验证。

15·7·2 按需调用

正式坐标 13/17。 原版目录键 15.7.2 按需调用。在“第15章函数式程序设计语言”的第13个正式坐标中，「15·7·2 按需调用」通过把“按需调用”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链推进函数式闭包、转换与求值策略；复核者保存第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据，出现只复述“按需调用”名称而没有可观察状态、项目实现和恢复验证就撤回结论。

15·7·3 懒惰程序的计算

正式坐标 14/17。 原版目录键 15.7.3 懒惰程序的计算。围绕“自由变量、环境对象和调用约定怎样支持高阶函数？”，“第15章函数式程序设计语言”在坐标14把「15·7·3 懒惰程序的计算」落实为把“懒惰程序的计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链；只有第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“懒惰程序的计算”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

15·7·4 懒惰函数式程序的优化

正式坐标 15/17。 原版目录键 15.7.4 懒惰函数式程序的优化。“第15章函数式程序设计语言”的目录节点15「15·7·4 懒惰函数式程序的优化」不能停在术语或伪码：它要把对象布局、动态分派或闭包环境与调用约定降到IR，交付类/vtable布局、自由变量、闭包对象、调用和求值轨迹，并把对象偏移、自由变量、环境槽或求值策略错误设为单一反事实。

15·7·5 严格性分析

正式坐标 16/17。 原版目录键 15.7.5 严格性分析。对“第15章函数式程序设计语言”而言，「15·7·5 严格性分析」在第16次检查中改变可观察状态，因为它负责把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹；正则—自动机、token流、项目集、分析表、栈轨迹与冲突必须与“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受最长匹配、展望符、冲突或恢复状态错误。

程序设计：编译函数式语言

正式坐标 17/17。 原版目录键 程序设计：编译函数式语言。在“第15章函数式程序设计语言”的第17个正式坐标中，「程序设计：编译函数式语言」通过把对象布局、动态分派或闭包环境与调用约定降到IR推进函数式闭包、转换与求值策略；复核者保存类/vtable布局、自由变量、闭包对象、调用和求值轨迹，出现对象偏移、自由变量、环境槽或求值策略错误就撤回结论。

先预测，再操作三个C轨道实验

分步1 / 3

1. C模块、输入与翻译流水线

为“第15章函数式程序设计语言”选择正式目录坐标，在参考流水线与单一故障间切换，逐阶段核对接口、状态、输出和不变量。

输入—表示—翻译流水线

第15章函数式程序设计语言

选择正式目录坐标，再比较参考编译合同与单一故障的首个状态分岔。

正式目录坐标

阶段 1/4

第15章函数式程序设计语言 · C模块与输入

输入: 在Tiger C实现轨道中复现“第15章函数式程序设计语言”的输入、状态、变换与验证
变换: 冻结函数式闭包、转换与求值策略所需的C接口、源程序、规则、数据结构和版本
输出证据: 第15章函数式程序设计语言的模块合同、输入快照与所有权表
不变量检查: 第15章函数式程序设计语言的类型、所有权、源位置、名字和接口布局没有错位

第15章函数式程序设计语言的可重放协议

阶段	允许动作	必留证据	拒绝条件
第15章函数式程序设计语言 · C模块与输入	冻结函数式闭包、转换与求值策略所需的C接口、源程序、规则、数据结构和版本	第15章函数式程序设计语言的模块合同、输入快照与所有权表	未满足“第15章函数式程序设计语言的类型、所有权、源位置、名字和接口布局没有错位”
第15章函数式程序设计语言 · 算法与状态	执行实现闭包、不可变变量、内联、闭包转换、尾递归和惰性求值的最小算法并保存每一步状态	第15章函数式程序设计语言的参考轨迹、故障轨迹与首个状态分岔	未满足“第15章函数式程序设计语言每一步可由同一C接口、输入、规则和执行顺序复算”
第15章函数式程序设计语言 · 输出与整合	比较变换前后AST/IR/汇编/运行时状态和跨模块传递	第15章函数式程序设计语言的前后差、接口谱系与恢复路径	未满足“第15章函数式程序设计语言没有把单模块通过或单一样例正确当作端到端正确性”
第15章函数式程序设计语言 · 独立验证	重放预测、单故障、恢复和不适用边界	第15章函数式程序设计语言的接受、回退或拒绝理由	未满足“第15章函数式程序设计语言满足“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致””

unit: "tbc-unit-15"
question: "自由变量、环境对象和调用约定怎样支持高阶函数？"
scenario: "在Tiger C实现轨道中复现“第15章 函数式程序设计语言”的输入、状态、变换与验证"
invariant: "第15章 函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致"
fault: "闭包转换遗漏一个自由变量，嵌套函数读取错误环境槽"
evidence: "自由变量集、闭包布局、转换IR、尾调用与惰性状态"
reset: restore_concept_mode_stage_trace_step_case_gates_and_artifact

“第15章函数式程序设计语言”要求从同一C接口、源程序、规则、数据结构、目标机、预算和执行顺序重放参考、故障与恢复路径。重置后若目录选择、模式、阶段、轨迹步骤、案例、证据门或交付包没有回到基线，本次比较已经混入状态泄漏。

本页回顾

掌握“第15章函数式程序设计语言”不是背术语、表格或伪码，而是围绕“自由变量、环境对象和调用约定怎样支持高阶函数？”重建C接口、输入、状态变换、输出、整合和端到端验证，并用“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”拒绝“闭包转换遗漏一个自由变量，嵌套函数读取错误环境槽”。最终交付为自由变量集、闭包布局、转换IR、尾调用与惰性状态。

练习与答案

练习

问题 1：C实现合同。 “第15章函数式程序设计语言”为什么必须先冻结C接口、源程序、规则、数据结构、目标机和验证口径？

问题 2：目录逐项覆盖。 怎样证明“第15章函数式程序设计语言”的正式目录坐标已经进入机制、交互和程序设计项目？

“第15章函数式程序设计语言”的目录项「第15章函数式程序设计语言」：以“落实C模块接口、数据结构、所有权、阶段输入/输出和可运行项目”解释作用，用“头文件/实现对照、模块依赖、状态快照、构建日志与黄金输出”提供复核。
“第15章函数式程序设计语言”的目录项「15·1 一个简单的函数式语言」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。
“第15章函数式程序设计语言”的目录项「15·2 闭包」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。
“第15章函数式程序设计语言”的目录项「15·3 不变的变量」：以“把语言规则映射到测试、AST、类型、IR、运行时和诊断”解释作用，用“规则—测试矩阵、AST/类型/IR快照、运行结果与诊断”提供复核。
“第15章函数式程序设计语言”的目录项「15·3·1 基于延续的I/O」：以“把“基于延续的I/O”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 6. “第15章函数式程序设计语言”的目录项「15·3·2 语言上的变化」：以“把“语言上的变化”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 7. “第15章函数式程序设计语言”的目录项「15·3·3 纯函数式语言的优化」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。
“第15章函数式程序设计语言”的目录项「15·4 内联扩展」：以“把“内联扩展”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 9. “第15章函数式程序设计语言”的目录项「15·5 闭包变换」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。
“第15章函数式程序设计语言”的目录项「15·6 高效的尾递归」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。
“第15章函数式程序设计语言”的目录项「15·7 懒惰计算」：以“把“懒惰计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 12. “第15章函数式程序设计语言”的目录项「15·7·1 传名调用计算」：以“把“传名调用计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 13. “第15章函数式程序设计语言”的目录项「15·7·2 按需调用」：以“把“按需调用”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 14. “第15章函数式程序设计语言”的目录项「15·7·3 懒惰程序的计算」：以“把“懒惰程序的计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链”解释作用，用“第15章函数式程序设计语言的输入角色、中间状态、输出、反例与整合证据”提供复核。 15. “第15章函数式程序设计语言”的目录项「15·7·4 懒惰函数式程序的优化」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。
“第15章函数式程序设计语言”的目录项「15·7·5 严格性分析」：以“把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹”解释作用，用“正则—自动机、token流、项目集、分析表、栈轨迹与冲突”提供复核。
“第15章函数式程序设计语言”的目录项「程序设计：编译函数式语言」：以“把对象布局、动态分派或闭包环境与调用约定降到IR”解释作用，用“类/vtable布局、自由变量、闭包对象、调用和求值轨迹”提供复核。

问题 3：故障恢复。 怎样证明“闭包转换遗漏一个自由变量，嵌套函数读取错误环境槽”已经被修正？

为“第15章函数式程序设计语言”复用同一C接口、输入、规则、数据结构、目标机、预算和顺序，重放参考路径后只注入该故障；记录首个偏离，撤销故障再运行。只有流水线合同、状态轨迹、端到端验证门和自由变量集、闭包布局、转换IR、尾调用与惰性状态重新满足“第15章函数式程序设计语言的C模块接口、数据结构、状态变换、输出语义与测试始终一致”，修正才可提交。

名词解释

本章出现的专业名词，用大白话再讲一遍。

函数式程序设计语言: 检索键 tbc-A 对应正式目录坐标「第15章函数式程序设计语言」；在“第15章函数式程序设计语言”中用于落实C模块接口、数据结构、所有权、阶段输入/输出和可运行项目，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
一个简单的函数式语言: 检索键 tbc-B 对应正式目录坐标「15·1 一个简单的函数式语言」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
闭包: 检索键 tbc-C 对应正式目录坐标「15·2 闭包」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
不变的变量: 检索键 tbc-D 对应正式目录坐标「15·3 不变的变量」；在“第15章函数式程序设计语言”中用于把语言规则映射到测试、AST、类型、IR、运行时和诊断，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
基于延续的I/O: 检索键 tbc-E 对应正式目录坐标「15·3·1 基于延续的I/O」；在“第15章函数式程序设计语言”中用于把“基于延续的I/O”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
语言上的变化: 检索键 tbc-F 对应正式目录坐标「15·3·2 语言上的变化」；在“第15章函数式程序设计语言”中用于把“语言上的变化”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
纯函数式语言的优化: 检索键 tbc-G 对应正式目录坐标「15·3·3 纯函数式语言的优化」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
内联扩展: 检索键 tbc-H 对应正式目录坐标「15·4 内联扩展」；在“第15章函数式程序设计语言”中用于把“内联扩展”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
闭包变换: 检索键 tbc-I 对应正式目录坐标「15·5 闭包变换」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
高效的尾递归: 检索键 tbc-J 对应正式目录坐标「15·6 高效的尾递归」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
懒惰计算: 检索键 tbc-K 对应正式目录坐标「15·7 懒惰计算」；在“第15章函数式程序设计语言”中用于把“懒惰计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
传名调用计算: 检索键 tbc-L 对应正式目录坐标「15·7·1 传名调用计算」；在“第15章函数式程序设计语言”中用于把“传名调用计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
按需调用: 检索键 tbc-M 对应正式目录坐标「15·7·2 按需调用」；在“第15章函数式程序设计语言”中用于把“按需调用”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
懒惰程序的计算: 检索键 tbc-N 对应正式目录坐标「15·7·3 懒惰程序的计算」；在“第15章函数式程序设计语言”中用于把“懒惰程序的计算”放进函数式闭包、转换与求值策略的C接口—状态—变换—验证链，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
懒惰函数式程序的优化: 检索键 tbc-O 对应正式目录坐标「15·7·4 懒惰函数式程序的优化」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
严格性分析: 检索键 tbc-P 对应正式目录坐标「15·7·5 严格性分析」；在“第15章函数式程序设计语言”中用于把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
编译函数式语言: 检索键 tbc-Q 对应正式目录坐标「程序设计：编译函数式语言」；在“第15章函数式程序设计语言”中用于把对象布局、动态分派或闭包环境与调用约定降到IR，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。

第15章 函数式程序设计语言

学习目标

为什么从这个问题开始

原版书目、296个正式坐标与C轨道边界

原版目录层级与C项目机制

第15章 函数式程序设计语言

15·1 一个简单的函数式语言

15·2 闭包

15·3 不变的变量

15·3·1 基于延续的I/O

15·3·2 语言上的变化

15·3·3 纯函数式语言的优化

15·4 内联扩展

15·5 闭包变换

15·6 高效的尾递归

15·7 懒惰计算

15·7·1 传名调用计算

15·7·2 按需调用

15·7·3 懒惰程序的计算

15·7·4 懒惰函数式程序的优化

15·7·5 严格性分析

程序设计：编译函数式语言

先预测，再操作三个C轨道实验

1. C模块、输入与翻译流水线

第15章 函数式程序设计语言

第15章 函数式程序设计语言 · C模块与输入

第15章 函数式程序设计语言的可重放协议

本页回顾

练习与答案

练习

名词解释

名词解释

讨论

第15章函数式程序设计语言

第15章函数式程序设计语言

第15章函数式程序设计语言

第15章函数式程序设计语言 · C模块与输入

第15章函数式程序设计语言的可重放协议