特定の機能のFSharpファンクションキャッシングをオフにしますか？

Question

私は最近、面白いが厄介なF Sharpの動きに直面した。 [1]によれば、 "F＃は自動的にパラメータを取らない関数の値をキャッシュする"。これは良いアイデアのようだが、乱数を生成するためのラッパー関数を試してみると私にとっては問題を引き起こしている。

例として、この質問の最後に2つの異なる機能があります。最初の関数 "getRand"はパラメータを取りませんが、残念ながら常に同じ番号を返します。 2番目の関数 "getRand2"は、呼び出されるたびに新しい乱数を生成すると期待していますが、無意味で無視される余分なパラメータが必要です。

可能であれば、私はgetRand2の機能を持っていますが、getRandの利便性を望みます。 getRand2に適用できるコンパイラ・ディレクティブまたは特別なキーワードがあります。これにより、関数キャッシュ機能がオフになり、getRand2のように動作します。おかげで

、

ショーン
注：答えはすでに[1]、私はちょうど今それを見ていないよに表示されている場合は、私を許してください。
[1] - http://en.wikibooks.org/wiki/F_Sharp_Programming/Caching

(* Always returns the same number *) 
let getRand = 
    let seed = int32(System.DateTime.Now.Ticks) 
    let randGen = new System.Random(seed) 
    randGen.Next() 

(* Works as expected except I need an annoying extra parameter *) 
let getRand2 dummyParam = 
    let seed = int32(System.DateTime.Now.Ticks) 
    let randGen = new System.Random(seed) 
    randGen.Next() 

(* Outputs three "identical" numbers to console *) 
System.Console.WriteLine(
    "Parameterless getRand always outputs same number.") 
System.Console.WriteLine(getRand) 
System.Threading.Thread.Sleep(100) 
System.Console.WriteLine(getRand) 
System.Threading.Thread.Sleep(100) 
System.Console.WriteLine(getRand) 
System.Console.WriteLine() 

(* Outputs three "different" numbers to console *) 
System.Console.WriteLine(
    "GetRand2 works as expected even though second dummy param is always the same.") 
System.Console.WriteLine(getRand2 0) 
System.Threading.Thread.Sleep(100) 
System.Console.WriteLine(getRand2 0) 
System.Threading.Thread.Sleep(100) 
System.Console.WriteLine(getRand2 0) 
System.Console.WriteLine() 

Answer 1

だけビットを明確にするために、私は、フレーズ「パラメータを取らない関数は」誤解を招くだと思います。定義によって、関数は関数の領域の値を関数の範囲の値にマップするので、すべての関数はパラメータを取ります。あなたのケースでは、getRandは関数にバインドされていません。値はintです。

私が正しくあなたの質問を理解していれば、私はあなたがまだ機能（getRand()だけでなく、getRand）としてgetRandを呼び出す必要がありますが、これを回避する方法はありません

let getRand =  
    let seed = int System.DateTime.Now.Ticks  
    let randGen = new System.Random(seed) 
    fun() -> randGen.Next() 

をしたいと思います - intの値が常に同じままであるという事実は、プログラムについての推論の重要な特徴です。

あなたはgetRandの私のバージョンとほとんど同じ方法であなたのgetRand2機能を使用することができます：あなたは、単位値()を渡すことができることを意味し、F＃は関数がジェネリックになり、体内のdummyParamを使用していないので、あなたが望むなら、議論。 の場合、getRand2関数は呼び出されるたびに新しい乱数ジェネレータを作成するという点で壊れています。

let x,y = (getRand2(), getRand2()) 

それは無名関数のスコープの外seedとrandGenを定義することが重要である理由です：これは、あなたが1つの目盛り以内に2回それを呼び出す場合は、あなたが同じ答えを得ることを意味します。