F＃クエリ式の演算子の順序

Question

クエリ式の演算子の順序は重要ですか？ Idkですが、場合によっては（一部の選択肢で）実行されますが、時にはそうではありません（または、暗黙的にいくつかの特定の機会を処理します）。

を選択すると、オペレータが最後に行く必要がありますか？あなたが最後の文としてそれを書いていないが、テイクのnの場合には、このオペレータは後に行くことができるならば、それは文句を言いほとんどすべての組み合わせで私はどのようにプロセスでちょうど興味

を選択執行行為？

これは別の質問につながります。反復可能なコレクションを反復して、最初の反復で何らかの1番目の値を選択した場合、の順序がその最初の値にどのように作用するのでしょうか？最初にシーケンスを返してからそのシーケンスで命令を実行するのは明らかですが、反復（？）ごとにsortByを実行するようです。私は、実行されたアルゴリズムの設計が何であるかに興味があります。

ここに、クエリ式の例を示します。

let sq = query { 
    for p in datasource do 
    where p.age>20 
    sortBy p.age 
    select p 
} 

説明を非常に感謝します。

おかげ

Answer 1

我々は見つけることができ、推測する必要はありません。

IL_006c: callvirt instance [...] For<class Program/Person,  
IL_0076: callvirt instance [...] SortBy<class Program/Person, 
IL_0080: callvirt instance [...] Where<class Program/Person,  
IL_008a: callvirt instance [...] Select<class Program/Person, 

：

IL_004e: newobj instance void Program/sq@16::.ctor(class [FSharp.Core]Microsoft.FSharp.Linq.QueryBuilder) 
IL_0053: callvirt instance [...] For<class Program/Person,  
IL_005d: callvirt instance [...] Where<class Program/Person,  
IL_0067: callvirt instance [...] SortBy<class Program/Person, 
IL_0071: callvirt instance [...] Select<class Program/Person, 

は、我々は新しいILはなりSORTBY

let sq = query { 
    for p in sample do 
    sortBy p.age 
    where (p.age > 20)  
    select p 
} 

の順序を変更したと同様に生成されたILは、（クリーンアップ）になります

let sample = Seq.init 10 (fun i -> i * 10) |> Seq.map (fun i -> { age = i }) 
let sq = query { 
    for p in sample do 
    where (p.age > 20)  
    sortBy p.age 
    select p 
} 

sq |> Seq.toList |> ignore 

あなたは、それがクエリを定義する正確な順序。 クエリがExpressionの訪問者によって翻訳されるため、これはT-SQLの包摂については問題ありませんが、オブジェクトクエリの場合、クエリ式はほとんどあなたのための構文的な砂糖です。

Answer 2

方法＃2：

あなたは副作用のための演算子が含まれるようにクエリ式モジュールを拡張することができます。これは単にInteractive ExtensionsのDoActionメソッドのポートです。

module QueryExtensions = 

    type QueryBuilderEx() = 
     inherit Linq.QueryBuilder() 

     [<CustomOperation("doAction", MaintainsVariableSpace = true)>] 
     member __.Do(source : Linq.QuerySource<'T,System.Collections.IEnumerable>, action) =    
      new Linq.QuerySource<'T,System.Collections.IEnumerable>(source.Source |> Seq.map (fun v -> action(v); v)) 


let query = QueryExtensions.QueryBuilderEx() 

今あなたがwhereの上に移動した場合、あなたはそれがフィルタリングする前にそれらのレコードを反映していることがわかりますので

let sq = query { 
     for p in sample do 
     sortBy p.age  
     where (p.age > 20)  
     doAction (printfn "Next -> %A") 
     select p 
    } 

のような順序をデバッグすることができます。