包括F#在内的大多数编程语言都会根据称为“严格评估”的模型立即评估计算。但是,在惰性评估中,只有在需要计算时才对计算进行评估。F#允许我们通过lazy关键字和来使用惰性评估sequences。
// 定义惰性计算 let comp = lazy(10 + 20) // 我们需要强制结果 let ans = comp.Force()
此外,在使用“惰性评估”时,将缓存计算结果,因此,如果我们在强制执行第一个实例之后强制执行结果,则表达式本身将不会再次被评估
let rec factorial n = if n = 0 then 1 else (factorial (n - 1)) * n let computation = lazy(printfn "Hello World\n"; factorial 10) // 你好世界将被打印 let ans = computation.Force()// Hello World将不会在此处打印 let ansAgain = computation.Force()