基础篇从最小问题出发，解释机制、语法与使用边界；实战篇围绕业务需求组合这些知识。两篇互相链接，可以边学边用，也可以按需回查。
从多种可能中确认当前类型，理解可辨识属性、in 与控制流路径。
让可复用逻辑保留输入之间及输入与输出之间的类型关系。
理解逐键生成、索引取联合与按属性类型筛选的组合规则。
区分逐成员变换与整体判断，并应用到共有键与全部键。
从结构中提取属性、参数列表与返回类型，并理解位置和使用边界。
从替换函数是否安全出发，理解参数逆变、返回值协变、上下文类型与回调类型复用。
让成功与失败数据形成合法配对，排除缺失信息和交叉组合。
从表单值类型生成更新消息，保留字段和值的对应关系并限制可编辑范围。
从 on 的泛型推导到 emit 的元组联合，理解回调返回值、联合事件名与完整参数配对。
组合参数与返回类型、保留配对，并从方法表生成可筛选的测试条目。