1一等函数
闭卷推导一等函数的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2自由变量与闭包环境
闭卷推导自由变量与闭包环境的结构、状态与反例。
3函数调用帧
闭卷推导函数调用帧的结构、状态与反例。
4递归与不动点直觉
闭卷推导递归与不动点直觉的结构、状态与反例。
5尾调用与尾递归
闭卷推导尾调用与尾递归的结构、状态与反例。
6续延的第一印象
闭卷推导续延的第一印象的结构、状态与反例。
7闭包解释器里程碑
闭卷推导闭包解释器里程碑的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。