F# 简写：对记录列表进行映射并获取命名值

以下是一个示例代码，演示如何在 F# 中对记录列表进行映射并获取命名值：

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

let people = [{ Name = "Alice"; Age = 25 }; { Name = "Bob"; Age = 30 }; { Name = "Charlie"; Age = 35 }]

let getNames (people: Person list) =
    people |> List.map (fun person -> person.Name)

let names = getNames people
printfn "%A" names

在上面的代码中，我们首先定义了一个名为 Person 的记录类型，该类型具有 Name 和 Age 字段。然后，我们创建了一个包含多个 Person 记录的列表 people。

接下来，我们定义了一个名为 getNames 的函数，它接受一个 Person 列表作为参数，并使用 List.map 函数将每个 Person 记录映射为其 Name 字段值。最后，我们将结果打印出来。

运行上述代码，输出将是 ["Alice"; "Bob"; "Charlie"]，即列表中每个 Person 记录的 Name 字段值的集合。