1不可变值与引用透明
闭卷推导不可变值与引用透明的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2高阶函数与组合
闭卷推导高阶函数与组合的结构、状态与反例。
3映射过滤折叠
闭卷推导映射过滤折叠的结构、状态与反例。
4持久化数据结构
闭卷推导持久化数据结构的结构、状态与反例。
5惰性流
闭卷推导惰性流的结构、状态与反例。
6记忆化与空间泄漏
闭卷推导记忆化与空间泄漏的结构、状态与反例。
7函数式解释器设计
闭卷推导函数式解释器设计的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。