6.4.1 使用 map 函数

6.4.1 使用 map 函数

我们将使用的两个操作，已在 F# 库中可用了，因此，我们首先看一下如何使用它们。稍后，我们将讨论它们的实现，以及如何从 C# 中使用它们。正如我们已经看到的，要了解函数在 F# 做什么的最好方法，通常是了解它的类型签名。让我们来看一下 Option.map：

> Option.map;;
val it : (('a -> 'b) -> 'a option -> 'b option) = (...)

映射（map）操作通常把一个给定函数应用到由数据类型携带的值，并以相同的结构打包结果。对于选项（option）类型，这意味着，当这个值是 Some，给定的函数作为第一个参数值 （'a –> 'b），将应用到由第二个参数值（'a option）携带的值。类型 'b 的结果将打包在选项类型内，所以，整体结果类型是 ' b option。如果原始选项类型不携带值，映射函数将返回 None。

我们可以使用此函数代替嵌套的匹配。读取第二个输入时，我们要“映射”携带的值到一个新值中，加上第一个数：

match (readInput()) with
| None -> None
| Some(first) -> readInput() |> Option.map (fun second -> first + second)

第三行，我们已经有一个从用户输入的第一个数字的值。然后，使用 readInput() 从控制台读取第二个选项值。使用 Option.map，我们映射这个值到一个新的选项值，然后，它返回作为结果。Lambda 函数作为参数值使用，把第一个值加到由该选项的值携带的数上（如果有的话）。