StackOverflow 文件 OCaml 教程 模式匹配 模式匹配 使用模式匹配的因子函式 評估布林表示式 否定正常形式深度模式匹配 匹配記錄欄位 具有模式匹配的遞迴列表處理 使用模式匹配定義函式 使用模式匹配的因子函式