12.7.3 使用计算表达式进行重构

12.7.3 使用计算表达式进行重构



    在前一章中，我们看到一些重构函数式程序的方法。最后一个主题是延迟性，它变改代码的执行方式，而不影响程序的结果。从某种意义上讲，添加延迟性也可看作是一种重构技术。计算表达式类似之处在于，它们增加其他方面的代码，而不改变其核心意义。



提示



    在计算表达式和延迟性之间有密切的关系，创建一个计算表达式，把代码转换成延迟计算的版本，Lazy<'T> 计算类型，也是有可能的。可以尝试实现自己的计算：唯一困难的部分是，写 Bind 成员。在这里，我们不会对此进行讨论，但是，可以本书的网站上找到其他的信息。



    有趣的是如何标准的 F# 代码方便地转换变成有非标准行为的代码。我们必须把这些代码括在一个计算表达式块中，并为这个计算表达式添加对基元提供的调用，比如，我们刚刚实现的 logMessage 函数。当我们实现的代码被分成几个函数时，我们必须改变到对这些函数的调用，从通常的调用，或者通常的值绑定，到自定义的值绑定，既使用 let!，也可以使用 do! 基元。当写使用 F# 的计算表达式的代码时，典型方法是，首先使用标准版本的代码，它更易于写测试，然后，使用计算表达式重构到高级版本。