F#:如何评估"seq"以急切获取其所有值？

Question

我们知道在F#中,seq是懒惰的评估.我的问题是,如果我有一个数量有限的seq,如何将其转换为包含其所有值的评估数据类型？

> seq { for i in 1 .. 10 do yield i * i };;
val it : seq<int> = seq [1; 4; 9; 16; ...]

非常感谢.

Answer 1

来自@Carsten的答案是正确的:您可以使用Seq.toArray或者Seq.toList如果您希望将延迟评估的序列转换为列表或数组.但是,不要使用这些功能来强制评估.

人们倾向于问这个问题的最常见原因是因为他们有一个涉及副作用的预测,他们想要强制进行评估.举个例子,希望将值打印到控制台:

let lazySeq = seq { for i in 1 .. 10 do yield i * i }
let nothingHappens = lazySeq |> Seq.map (printfn "%i")

问题是当你评估这两个表达式时,没有任何反应:

> 

val lazySeq : seq<int>
val nothingHappens : seq<unit>

因为nothingHappens是一个懒惰的评估序列,没有副作用发生map.

人们经常诉诸Seq.toList或Seq.toArray强迫评估:

> nothingHappens |> Seq.toList;;
1
4
9
16
25
36
49
64
81
100
val it : unit list =
  [null; null; null; null; null; null; null; null; null; null]

虽然这有效,但它并不是特别惯用的; 它会产生一种奇怪的返回类型:unit list.

一个更惯用的解决方案是使用Seq.iter:

> lazySeq |> Seq.iter (printfn "%i");;
1
4
9
16
25
36
49
64
81
100
val it : unit = ()

正如您所看到的,这会强制进行评估,但具有更合理的返回类型unit.

Answer 2

使用Seq.toArray(用于数组)或Seq.toList(用于列表);)

还有更多 - 只需选择;)

例:

> seq { for i in 1 .. 10 do yield i * i } |> Seq.toArray;;
val it : int [] = [|1; 4; 9; 16; 25; 36; 49; 64; 81; 100|]