12.4_可选工作流

12.4 可选工作流（alternative workflows）

 

    计算表达式（Computation expressions）是一种 F# 功能，部分灵感是来自 Haskell 的单子（monads）。单子有个不好的名声，对于脑 bustingly 有困难的人来说，但是，也不用担心。我们将看一下如何实现一套有趣的技术，可以在 C# 中很好地处理 Option<T> 值。还将看到如何在 F# 中做类似的事情，如何用优美的 F# 语法来写一个简单日志记录器。

    我们甚至可以不用提到单子，就能完成这一切。本书是在更普遍的意义上来讲述关于函数编程的，我们想要给你介绍更多 F# 的功能。我们偶尔会介绍一些基础术语，这对于你想了解其他编程语言可能有所帮助。你总是可以跳过这些听起来很复杂的部分，直接进入下一个示例。你可能会惊讶地发现，我们以前已经解释过这一章中的单子。事实上，你甚至在拿起这本书之前，就可能使用过它们：LINQ 是也基于单子的。

    在第 6.7 节，我们讨论过选项值的绑定函数，学习过类似的运算符，对于列表同样有意义。在 F# 库中其标准的名字是 List.collect，所以，当你听到 Seq.collect 也是绑定运算符的一种形式时，一定不会感到诧异，只是这次是处理序列而已。在本章中，我们已经看到过，这个操作在 LINQ 查询和 F# 序列表达式中都很重要。另外，在这里有三种操作的类型签名：

 

Option.bind : ('a -&gt; option<'b>) -&gt; option<'a> -&gt; option<'b>
List.collect : ('a -&gt; list<'b>) -&gt; list<'a> -&gt; list<'b>
Seq.collect : ('a -&gt; #seq<'b>) -&gt; seq<'a> -&gt; seq<'b>

 

    作为参数值提供的函数，指定了包含在第二个参数值中的每个值需要处理的（类型 ‘a）。对于列表和序列，表示输入序列的每个元素都会调用这个函数。对于选项值，这个函数最多执行一次，只在第二个参数值是 Some 值时。提醒一下：可以把选项值看关是，有零或一个元素的列表。

    你可能已经知道，可以创建自定义的 LINQ 查询运算符的实现，并使用它们来处理我们自己的集合类型。对于只使用查询语法来处理集合，没有任何限制。