1和类型与积类型
闭卷推导和类型与积类型的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2构造器与数据表示
闭卷推导构造器与数据表示的结构、状态与反例。
3模式的结构
闭卷推导模式的结构的结构、状态与反例。
4穷尽性检查
闭卷推导穷尽性检查的结构、状态与反例。
5冗余分支检查
闭卷推导冗余分支检查的结构、状态与反例。
6递归数据与折叠
闭卷推导递归数据与折叠的结构、状态与反例。
7模式匹配编译
闭卷推导模式匹配编译的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。