11.3.4.1 实现或和延迟或
因为我们要实现运算符，需要将其定义为真正的运算符，而不只是通常的函数。就像在第六章学过的，可以在 F# 中引入自己的运算符，清单 11.17 显示了两种不同的或运算符。
[
清单序号还有问题。从 11.14 开始，就变成了 11.17 了。
]
清单 11.17 比较提前和延迟的或运算符 (F# Interactive)
|
let (||!) a b = [1] if a then true elif b then true else false // Using in F# Interactive > if (foo(5) ||! foo(7)) [3] then printfn "True";; foo(5) foo(7) True |
let (||?) (a:Lazy<_>) (b:Lazy<_>) = if a.Value then true [2] elif b.Value then true else false
> if lazy foo(5) ||? lazy foo(7) [4] then printfn "True";; foo(5) True |
提前运算符版本的参数值是布尔值[1]，因此，可以直接在 if 条件中使用；而延迟版本的参数是把返回布尔值的计算，打包成延迟值，因此，要读取值，需要使用 Value 属性[2]。
使用提前版的运算符时[3]，只要正常参数值。从输出可以看到，两个参数值都已经计算了。事实上，它们是在我们自定义运算符的主体执行之前就计算了。当使用延迟版时[4]，我们加上了额外的 lazy 关键字，以延迟两个参数值。结果只有一个表达式进行了计算，因为这对于最终结果的计算已经足够了。
这个示例在很多方面有点奇怪，但对于演示如何以编程方式，通过语言构造实现我们所熟悉元素的延迟，是非常有用的。下一步我们将延迟值实现为类型，能够从 C# 中使用。在语法结构上不是很紧凑，但即使是这样，依然很有用。
原文地址：http://blog.csdn.net/hadstj/article/details/42711853
