1类型判断与推导规则
闭卷重建类型判断与推导规则的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2子类型与赋值兼容
闭卷重建子类型与赋值兼容的输入制品、规则、输出不变量与失败反例。
3函数调用与重载解析
闭卷重建函数调用与重载解析的输入制品、规则、输出不变量与失败反例。
4泛型约束与实例化
闭卷重建泛型约束与实例化的输入制品、规则、输出不变量与失败反例。
5控制流中的类型收窄
闭卷重建控制流中的类型收窄的输入制品、规则、输出不变量与失败反例。
6实验：表达式类型检查器
闭卷重建实验：表达式类型检查器的输入制品、规则、输出不变量与失败反例。
7实验：函数调用参数诊断
闭卷重建实验：函数调用参数诊断的输入制品、规则、输出不变量与失败反例。