1名字为何需要环境
闭卷推导名字为何需要环境的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2词法作用域与动态作用域
闭卷推导词法作用域与动态作用域的结构、状态与反例。
3遮蔽、捕获与重命名
闭卷推导遮蔽、捕获与重命名的结构、状态与反例。
4环境链与帧
闭卷推导环境链与帧的结构、状态与反例。
5声明提升与暂时死区
闭卷推导声明提升与暂时死区的结构、状态与反例。
6模块名字空间
闭卷推导模块名字空间的结构、状态与反例。
7绑定综合实验
闭卷推导绑定综合实验的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。