12.7 给计算增加日志记录

12.7 给计算增加日志记录



日志通常可以使用全局可变状态实现。然而，如果我们想要避免使用全局可变状态，并保持程序的纯函数性，又会如何呢？我们会有一个选择，就是把日志记录器的状态作为额外的参数值，传递我们要调用的每个函数。实现可能非常困难（想象一下，如果我们决定将另一个参数添加到这个状态中！）。

要解决这个问题，我们可以创建一个自定义计算类型，启用日志记录，隐藏计算类型内的日志记录器的状态。这是类似于 Haskell 使用的嵌入技术，在无任何副作用的纯函数式语言中，处理状态 （比如，文件系统）。我们要实现的这个示例依赖于这样的事实，我们可以围绕有计算表达式块的、标准 F# 的代码任何一段。为此，使用 C# 对此示例是不可行的。我们会首先设计需要的计算类型 （一元类型），允许简单的日志记录。