F#匹配记录和判别联合（discriminatedunions）

F# 为记录和判别联合提供了方便的匹配语法，可以简化代码的书写和调试。记录和判别联合在 F# 中的使用示例如下：

记录:

type Person = { Name: string; Age: int }

let person1 = { Name = "Tom"; Age = 25 }

let printPerson person = printfn "Name: %s, Age: %d" person.Name person.Age

match person1 with | { Name="Tom"; Age=n } -> printfn "Tom is %d years old" n | { Name="Mary"; Age=n } -> printfn "Mary is %d years old" n | _ -> printfn "Unknown person"

判别联合:

type Shape = | Circle of float | Rectangle of float * float

let area shape = match shape with | Circle r -> Math.PI * r * r | Rectangle (w, h) -> w * h

let circle = Circle 2.0 let rect = Rectangle (2.0, 3.0)

printfn "Circle area = %f" (area circle) printfn "Rectangle area = %f" (area rect)

在上面的代码示例中，我们创建了两个类型：Person 和 Shape。Person 类型是一个记录类型，存储着一个人的姓名和年龄。Shape 类型是一个判别联合类型，可以表示圆形和矩形两种形状。我们通过匹配语法来处理这两种类型的数据。在处理 Person 类型数据时，我们使用了记录的语法，通过属性名称来匹配数据。在处理 Shape 类型数据时，我们使用了判别联合的语法，通过判断数据属于哪种形状来进行匹配。

通过使用 F# 提供的记录和判别联合的语法，可以简化代码的编写和维护，提高代码的可读性和健壮性。