1类型判断与推导规则
闭卷重建类型判断与推导规则的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2子类型与赋值兼容
闭卷重建子类型与赋值兼容的输入制品、规则、输出不变量与失败反例。
3函数调用与重载解析
闭卷重建函数调用与重载解析的输入制品、规则、输出不变量与失败反例。
4泛型约束与实例化
闭卷重建泛型约束与实例化的输入制品、规则、输出不变量与失败反例。
5控制流中的类型收窄
闭卷重建控制流中的类型收窄的输入制品、规则、输出不变量与失败反例。
6实验：表达式类型检查器
闭卷重建实验：表达式类型检查器的输入制品、规则、输出不变量与失败反例。
7实验：函数调用参数诊断
闭卷重建实验：函数调用参数诊断的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：子类型与赋值兼容必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为子类型与赋值兼容准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；子类型与赋值兼容遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：类型判断与推导规则必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为类型判断与推导规则准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；类型判断与推导规则遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：泛型约束与实例化必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为泛型约束与实例化准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；泛型约束与实例化遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：函数调用与重载解析必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为函数调用与重载解析准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；函数调用与重载解析遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：表达式类型检查器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：表达式类型检查器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：表达式类型检查器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：控制流中的类型收窄必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为控制流中的类型收窄准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；控制流中的类型收窄遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：函数调用参数诊断必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：函数调用参数诊断准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：函数调用参数诊断遇到二义、未定义行为或目标机限制时必须显式诊断。