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

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

 

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

 

提示

 

 在计算表达式和延迟性之间有密切的关系，使用 Lazy<'T> 计算类型，创建能够把代码转换成延迟计算的计算表达式，是有可能的。我们可以尝试实现自定义的计算，唯一的难度在于写 Bind 成员。在这里，我们不进行讨论，在本书的网站上可以找到其他的信息。

 

重要性在于，把标准的 F# 代码转换变成非标准行为的代码，是相当容易的；只要把代码括在计算表达式块中，并为计算表达式添加对实现的基本操作的调用，比如，刚刚实现的 logMessage 函数。当我们实现的代码分成几个函数时，必须把对这些函数的调用，从通常的调用，或者通常的值绑定，改成自定义的值绑定，使用 let!，或者 do! 基本操作。在 F# 中写计算表达式的代码，典型方法是，首先写出标准代码，易于编写和测试，然后，使用计算表达式重构到更高级的版本。