模式匹配
Python 3.10 引入的结构化模式匹配语法，允许根据数据的形状和值进行分支；适合复杂结构匹配，但过度使用可能降低简单逻辑的可读性。
时间轴 (近 90 天)
结合密封类，编译器能够验证 switch 的所有 permitted 子类是否都被处理，遗漏子类型会导致编译错误（穷尽性检查）。
在Hacker News的技术讨论中，有观点认为模式匹配在推理任务中往往比叙事推理更有效。
模式匹配通过识别输入与训练数据中相似结构的对应关系来生成输出，依赖统计相关性。
在代码生成、文本分类、信息抽取等任务中，依赖模式匹配的模型在基准测试上往往表现更稳定；而在需要多步规划的任务中，叙事推理的优势才逐渐显现。
一种折中思路是分层处理：底层用模式匹配做快速判断，上层用叙事推理做终审；该架构在部分工程实践中已有雏形但未深入展开。
模式匹配在需要严格演绎的任务（如数学证明或程序验证）中表现有限，因为其软性相似度判断无法提供形式化检验保证。
OCaml的模式匹配可以深度解构嵌套数据类型，且编译器会检查匹配是否穷尽
全部知识事实 (7)
结合密封类，编译器能够验证 switch 的所有 permitted 子类是否都被处理，遗漏子类型会导致编译错误（穷尽性检查）。
50%待验证在Hacker News的技术讨论中，有观点认为模式匹配在推理任务中往往比叙事推理更有效。
50%待验证模式匹配通过识别输入与训练数据中相似结构的对应关系来生成输出，依赖统计相关性。
50%待验证在代码生成、文本分类、信息抽取等任务中，依赖模式匹配的模型在基准测试上往往表现更稳定；而在需要多步规划的任务中，叙事推理的优势才逐渐显现。
50%待验证一种折中思路是分层处理：底层用模式匹配做快速判断，上层用叙事推理做终审；该架构在部分工程实践中已有雏形但未深入展开。
50%待验证模式匹配在需要严格演绎的任务（如数学证明或程序验证）中表现有限，因为其软性相似度判断无法提供形式化检验保证。
50%待验证OCaml的模式匹配可以深度解构嵌套数据类型，且编译器会检查匹配是否穷尽
50%