12.7 给计算增加日志记录

12.7 给计算增加日志记录

 

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

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