StackOverflow 文档 OCaml 教程 模式匹配 模式匹配 使用模式匹配的因子函数 评估布尔表达式 否定正常形式深度模式匹配 匹配记录字段 具有模式匹配的递归列表处理 使用模式匹配定义函数 使用模式匹配的因子函数