7、F 中的模式匹配与判别联合类型

F# 中的模式匹配与判别联合类型

1. 运算符与代码清理

在 F# 中， |> 、 <| 、 >> 和 << 运算符可用于清理代码。地道的 F# 代码会在适当的地方使用这些运算符，使代码更易读、更简洁。不过，如果添加这些运算符只会让代码变得杂乱或令人困惑，那就应避免使用。

2. 模式匹配基础

2.1 模式匹配的概念

所有程序都需要对数据进行排序和筛选，在函数式编程中，可以使用模式匹配来完成这一任务。模式匹配类似于其他编程语言中的 switch 语句，但功能更强大。它是一系列规则，当模式与输入匹配时，相应的规则将被执行，模式匹配表达式会返回匹配规则的结果，因此模式匹配中的所有规则必须返回相同的类型。

2.2 简单模式匹配示例

以下是一个简单的模式匹配示例，用于模仿 if 表达式的行为：

// Simple pattern matching
let isOdd x = (x % 2 = 1)
let describeNumber x =
    match isOdd x with
    | true  -> printfn "x is odd"
    | false -> printfn "x is even";;
val isOdd : int -> bool
val describeNumbe