List F#和#x27；s的列表是急切的还是懒惰的？或者仅仅是；以下是；是用F计算的吗#

F#中的哪些元素是惰性计算的，哪些元素是渴望计算的？ 据我所知，如果“seq”是惰性求值的，是否意味着“list”是惰性求值的？

---

我如何证明它？谢谢

是的，名单很紧迫。您可以尝试在任务管理器中观看，例如：

#time
let l = List.init 100000000 (fun x -> 0.)
let s = Seq.init 100000000 (fun x -> 0.)
let s2l = s |> Seq.take 10000000 |> Seq.toList

---

人们热切地评价这些名单。你得到的答案证明了这一点。为了证明这一点，你可以看看上述类型的类型定义。F#列表定义在第1789行：