F# | 一步完成 Array.map 和 Array.filter 的单一函数

在 F# 中，可以使用 Array.choose 函数来实现同时完成 Array.map 和 Array.filter 功能的单一函数。

下面是一个示例代码：

let mapFilter (mapping : 'a -> 'b option) (array : 'a array) : 'b array =
    array
    |> Array.choose mapping

在这个示例中，我们定义了一个名为 mapFilter 的函数，它接受一个 'a -> 'b option 类型的映射函数和一个 'a array 类型的数组作为输入，并返回一个 'b array 类型的数组。

在函数的实现中，我们使用了 F# 的管道操作符 |>，该操作符允许我们将一个表达式的结果作为下一个表达式的输入。

在这个函数中，我们首先将输入的数组 array 作为参数传递给 Array.choose 函数，该函数会将映射函数 mapping 应用到数组的每个元素上，并返回一个 'b option 类型的数组。然后，我们使用管道操作符将这个结果数组作为输入传递给最终的结果。

这样，我们就实现了同时完成 Array.map 和 Array.filter 功能的单一函数。在这个示例中，mapping 函数负责对数组元素进行映射，并返回一个 Some 类型的结果表示映射成功，或者返回 None 类型的结果表示映射失败并被过滤掉。