F＃：Seq.forall weirdness？

Question

はlet ra = ResizeArray<int>()を考える：

Seq.forall (fun i -> 
        let q = i % 2 
        if 0 = q then ra.Add i 
        true) <| seq { 1..10 } 

私はra.Count戻り5、それを行う場合。

Seq.forall (fun i -> 
        let q = i % 2 
        if 0 = q then ra.Add i 
        0 = q) <| seq { 1..10 } 

私はra.Countが0を返し、それを行う場合。

だから、ラムダ関数のすべての反復が真と評価されない限り、関数内のコードは実質的に実行されません。

ここでは何が起こっているのですか？

Answer 1

Seq.forall関数の処理を中止するには、値 "false"を使用します。

1 % 2 = 0はfalseであるため、最初の繰り返しで評価が停止します。

Answer 2

次のアプローチは、より多くの機能のようになります。

let (anyOdds, evens) = 
    seq {1..10} 
    |> Seq.fold (fun (anyOdds, xs) x -> 
     if x % 2 = 0 then 
      anyOdds, x :: xs 
     else true, xs) (false, []) 

は、特定の要件がない限り、彼らは一般的に効率的なF＃のリストの賛成でResizeArray年代を捨てるために快適に感じます。