F番号：部分的な組み合わせと最適化を組み合わせることが可能であった場合は、今日の私のコード内の関数を見てみると一部のアプリケーションおよび事前計算

Question

、私は疑問に思っ：

基本的に

let foo (X:float) y1 y2 dx = 
    y1 + (y2 - y1) * dx/X 

を、ちょうど比適用 - その最初の3つのパラメータを所与のループ内では一般に同じである。

私はこれをしなかった場合、私は多分考えた：

let foo2 (X:float) y1 y2 dx = 
    let dy = (y2 - y1)/X 
    y1 + dy * dx 

F＃は賢い取得し、私は部分的に最初の3つのパラメータを適用するときに私のために最適化するが、それはモードをデバッグするだろう、ケースのように表示されません。 （私は正しい方法でテストするつもりはないとは思うが）。

質問は、これは問題ありませんか？そして、もしそうでないならば、それを実行する良い方法があります（2つのパラメータを持つ別の関数を書く以外に）？

Answer 1

ほとんどのそのような「魔法の最適化」は、神話的に「十分にスマートなコンパイラ」によってのみ行われる「効果解析」を必要とすると思います。

ポンダーこの：

let Expensive x y = 
    printfn "I am a side-effect of Expensive" 
    x + y // imagine something expensive 

let F x y z = 
    let tmp = Expensive x y 
    z + tmp 

printfn "Least chance of magic compiler optimization" 
for i in 1..3 do  
    F 3 4 i 

printfn "Slightly better chance" 
let Part = F 3 4 
for i in 1..3 do  
    Part i 

printfn "Now for real" 
let F2 x y = 
    let tmp = Expensive x y 
    (fun z -> z + tmp) 

printfn "Of course this still re-does it" 
for i in 1..3 do  
    F2 3 4 i 

printfn "Of course this finally saves re-do-ing Expensive" 
let Opt = F2 3 4 
for i in 1..3 do  
    Opt i 

(* output 

Least chance of magic compiler optimization 
I am a side-effect of Expensive 
I am a side-effect of Expensive 
I am a side-effect of Expensive 
Slightly better chance 
I am a side-effect of Expensive 
I am a side-effect of Expensive 
I am a side-effect of Expensive 
Now for real 
Of course this still re-does it 
I am a side-effect of Expensive 
I am a side-effect of Expensive 
I am a side-effect of Expensive 
Of course this finally saves re-do-ing Expensive 
I am a side-effect of Expensive 

*)  

ある「高価」は影響を与えませんし、コンパイラは本当にスマートであり、それを発見することができない限り、効果については、言語のセマンティクスは、まさにこのように振る舞うようにコンパイラを必要としポイントそのままで。

Answer 2

デバッグモードで明らかに異なるものは何もないことは驚くことではありません。実際にN回の繰り返しを繰り返すのはなぜですか（#time;;、F＃インタラクティブプロンプト）。すべてが、DXの固定値のための共通の計算を共有するためにあなたの希望については

、これを試してみてください。ある

let fdx = foo2 X y1 y2 
for dx in dxes do 
    fdx dx 

は、FDXは、部分的なアプリケーションです。ループの外側に明示的に格納すると、オプティマイザからさらに多くのものを得ることができます。

少なくともインタラクティブなプロンプト（私は完全な最適化がそこで行われているとは思わない？）は、私の提案がわずか15％のスピードアップであるように見える（それは間違いなくスピードアップがあるfoo2の全身）。これを行うと、はるかに高速です：

foo3は（Benjlolから）である

let fdx = foo3 X y1 y2 
for dx in dxes do 
    fdx dx 

：ちょうどループで4引数の関数としてfoo3使用

let foo3 (X:float) y1 y2 = 
    let dy = (y2 - y1)/X 
    (fun dx -> y1 + dy * dx) 

注foo2はの倍の遅いですが、保存しますループ外の部分的なアプリケーションは、3倍高速です。

Answer 3

（これが評判whoringではありません、私は私の質問を始めたとき、私は正直にこれを考えていなかった）

ここで私が作ってみた一つの解決策、それは最高のかどうかわからないです：

let foo3 (X:float) y1 y2 = 
    let dy = (y2 - y1)/X 
    (fun dx -> y1 + dy * dx) 

非常に速く動作します。