1类型是静态近似
闭卷推导类型是静态近似的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2类型判断与上下文
闭卷推导类型判断与上下文的结构、状态与反例。
3进展与保持直觉
闭卷推导进展与保持直觉的结构、状态与反例。
4约束生成
闭卷推导约束生成的结构、状态与反例。
5一阶统一
闭卷推导一阶统一的结构、状态与反例。
6多态与值限制
闭卷推导多态与值限制的结构、状态与反例。
7类型错误诊断
闭卷推导类型错误诊断的结构、状态与反例。