12.7.3 使用计算表达式进行重构
在前一章,我们讨论过重构函数式程序的方法,最后一个主题是延迟性,它变改代码的执行方式,而不影响程序的结果。从某种意义上讲,添加延迟性也可看作是一种重构技术;计算表达式的类似之处在于,增加额外的代码,但不改变核心意思。
提示
在计算表达式和延迟性之间有密切的关系,使用 Lazy<‘T> 计算类型,创建能够把代码转换成延迟计算的计算表达式,是有可能的。我们可以尝试实现自定义的计算,唯一的难度在于写 Bind 成员。在这里,我们不进行讨论,在本书的网站上可以找到其他的信息。
重要性在于,把标准的 F# 代码转换变成非标准行为的代码,是相当容易的;只要把代码括在计算表达式块中,并为计算表达式添加对实现的基本操作的调用,比如,刚刚实现的 logMessage 函数。当我们实现的代码分成几个函数时,必须把对这些函数的调用,从通常的调用,或者通常的值绑定,改成自定义的值绑定,使用 let!,或者 do! 基本操作。在 F# 中写计算表达式的代码,典型方法是,首先写出标准代码,易于编写和测试,然后,使用计算表达式重构到更高级的版本。
原文地址:http://blog.csdn.net/hadstj/article/details/43408909