11.3.4 F# 中的延迟值
F# 中的延迟值（lazy value）是通过延迟计算表示的，就是说，只有在值需要时才进行计算。在上一节，我们用 C# 函数实现了类似的功能，而延迟值自动只计算一次，并能记住结果。
探索此功能的最佳方法是在 F# Interactive 中进行。清单 11.16 用脚本进行了演示。
[
清单编号的错误再次出现了.
]
清单 11.16 介绍延迟值 (F# Interactive)
> let foo(n) =
printfn "foo(%d)" n
n <= 10;;
val foo : int ¨C> bool
> let n = lazy foo(10);; | [1]
val n : Lazy<bool> = Value is notcreated. |
> n.Value;; <-- 调用 foo，得到结果
foo(10) | [2]
val it : bool = true |
> n.Value;; <-- 立即返回结果
val it : bool = true [3]
我们首先写一个类似于 C# 的 Foo 方法的函数，它通过写到控制台跟踪计算的时间；第二个命令使用 F# 的 lazy 关键字[1]。如果表达式用lazy 标记，那么，这个表达式不会立即计算，会被打包成延迟值。从输出可以看到，foo 函数还未调用，创建的值为lazy<bool> 类型，表示可以计算出布尔值的延迟值。
在下一行，可以看到这个延迟值有一个成员，Value [2]，这个属性执行延迟计算，在这里，就是调用 foo 函数。最后一个命令再次访问 Value [3]，不会重新计算。如果看一下输出，就会发现 foo 函数并未调用。这就是说，我们可以清楚地看到，Lazy<‘T> 是可变类型。如果我们使用无副作用的纯函数式的函数，作为其参数，就不能观察到这个现象。
在前几章，我们已经强调过用这种函数式方式查看数据类型，已经发现，在处理类型时，知道需要哪种操作，是很有用的。现在，我们就以这种观点来审视一下延迟值。
使用操作指定延迟值
如果 F# 语言没有 lazy 关键字，并且不允许写有属性的对象，可能会需要两个操作，一个用于构建延迟值，另一个提取实际值：
val create : (unit -> ‘T) ->Lazy<‘T>
val force : Lazy<‘T> ¨C> ‘T
可以看到，create 操作的参数是一个函数值，包装在 Lazy<‘T> 值当中。在函数式编程中，存在表示延迟计算还有其他类型，所以，当函数的参数为 unit -> ‘T 类型的函数，返回类型为泛型时，类型可能表示成延迟计算。force 操作的签名甚至更简单，只是简单地从打包它的类型中提取实际值。这个签名并没有告诉我们实际值是如何打包的，但是，因为有 force 操作，我们总是可以提取它。
在下一章我们将看到，在函数式编程中，就能够处理基本操作而言，类型的这种抽象描述是有用的。虽然 F# 提供了处理延迟值的方法，比使用函数更方便，但是，了解基本操作（primitive operations）还是很有帮助的。
我们开始讨论延迟值的动机，是不会自己实现逻辑或者运算符，计算右手边的参数值，要看是否需要，何时需要。现在，我们将再尝试用延迟值的新知识武装一下。
原文地址：http://blog.csdn.net/hadstj/article/details/42710857
