12.7.1 创建日志记录的计算

12.7.1 创建日志记录的计算



    这个计算将产生一个值，并能够将消息写入到本地日志记录的缓冲区。这意味着，计算的结果将是一个值，和包含这些消息的字符串列表。再次，我们还是使用有一个识别器的差别联合，表示这个类型：



type Logging<'T> =
  | Log of 'T * list<string>



    这个类型非常类似于我们先前讨论的 ValueWrapper <'a> 示例，只是加上了一个 F# 的消息列表写入到这个日志。现在，我们已有了这个类型，我们可以实现计算生成器。和往常一样，我们需要实现 Bind 和 Return 成员。此外，我们还会实现一个新成员，称为Zero，能够写不返回任何值的计算。后面，我们将会看到它是如何使用的。

    这个生成器的实现展示在清单 12.23 中。最有趣的是，Bind 成员，需要将原始值，和由计算（这是一个函数，作为参数值给 Bind 成员）的其余部分生成的值，连接成日志消息。



Listing 12.23 Computation builder that adds logging support (F#)



type LoggingBuilder() =
  member x.Bind(Log(value, logs1), f) =
    let (Log(newValue, logs2)) = f(value)
    Log(newValue, logs1 @ logs2)
  member x.Return(value) =
    Log(value, [])
  member x.Zero() =
    Log((), [])

let log = new LoggingBuilder()



    与我们其他的例子一样，最困难的部分是实现 Bind 成员。我们的日志记录类型遵循正常的所有步骤，包括第三个成员，省略了 option 和 ValueWrapper 类型：

    1、我们要提取值。因为我们用只有一种情况的差别联合，在成员的参数列表中，可以使用模式匹配；

    2、我们需要调用计算的其余部分，如果我们有一个值在做。在清单 12.23 中，我们总是有值，所以，可以运行这个给定的函数。我们没有立即返回结果；而是分解它，以得到在执行过程中产生的新的值和日志消息。

    3、我们已经收集了两个日志消息的缓冲，所以，需要打包这个新值，并把它添加到新的记录器状态。若要创建这个新状态，要把原始消息列表，和在调用计算的其余部分时生成的新列表连接起来。这要使用列表连接运算符 (@) 来写。

    Return 和 Zero 成员很简单。Return 需要把实际值打包到 Logging<'T> 类型中，Zero 表示不携带任何值的计算（意思是它将返回一个 unit)。在这两种情况下，我们将创建一个新的计算值，因此，这些基元返回一个空的日志记录缓冲。所有的日志消息将以其它方式产生，并追加到 Bind 成员。如果你看看到目前为止的代码，没有任何方法，可以创建一个非空的日志 ！这意味着，我们会需要创建一个额外的基元，以创建包含日志消息的计算值。我们可以把它写成一个简单的函数：



> let logMessage(s) =
     Log((), [s])
val logMessage : string -> Logging<unit>



    这个函数创建一个计算值，它包含一个 unit 值。更重要的是，在日志记录的缓冲中，它还包含一条消息，因此，如果我们使用 Bind 把它与另一个计算组合起来，得到一个计算，以写到日志中。现在，我们终于可以写代码，使用新创建的日志记录计算。