まず、この質問が重複している可能性があることを認めます。私に知らせて。
可変性が必要な状況での一般的な「ベストプラクティス」が何であるかを知りたいです。F＃は、このための2つの機能を提供let mutableしているようです。「ほとんどの」言語の変数のように機能するように見えるバインディングと、ref使用するために明示的な逆参照を必要とする参照セル（関数で作成）です。
どちらか一方に「強制」されるケースがいくつかあります。.NET相互運用機能はで可変を使用する傾向が<-あり、ワークフロー計算refでは:=。で使用する必要があります。したがって、これらのケースはかなり明確ですが、これらのシナリオの外で独自の可変変数を作成するときに何をすべきか興味があります。あるスタイルが他のスタイルよりも優れている点は何ですか？（おそらく、実装についてさらに洞察することが役立つでしょう。）
ありがとう！
回答:
私はgradbotが言ったことをサポートすることしかできません-突然変異が必要なとき、私は好みlet mutableます。
実装と2つの違いに関して-refセルは基本的に、可変レコードフィールドを含む非常に単純なレコードによって実装されます。あなたはそれらを自分で簡単に書くことができます：
type ref<'T> = // '
{ mutable value : 'T } // '
// the ref function, ! and := operators look like this:
let (!) (a:ref<_>) = a.value
let (:=) (a:ref<_>) v = a.value <- v
let ref v = { value = v }
2つのアプローチの顕著な違いは、let mutable可変値をスタックに（C＃の可変変数として）ref格納する一方で、ヒープに割り当てられたレコードのフィールドに可変値を格納することです。これはパフォーマンスにいくらかの影響を与えるかもしれませんが、私には数字がありません...
このおかげで、を使用refする可変値にエイリアスを設定できます。つまり、同じ可変値を参照する2つの値を作成できます。
let a = ref 5 // allocates a new record on the heap
let b = a // b references the same record
b := 10 // modifies the value of 'a' as well!
let mutable a = 5 // mutable value on the stack
let mutable b = a // new mutable value initialized to current value of 'a'
b <- 10 // modifies the value of 'b' only!
関連する質問：「ローカルの可変値はクロージャでキャプチャできないため、代わりにrefを使用する必要があるとおっしゃいました。これは、クロージャでキャプチャされた可変値をヒープに割り当てる必要があるためです（クロージャはに割り当てられるため）ヒープ）。」F＃からref-mutable vars vs object fields
let mutable参照セルよりも好ましいと思います。私は個人的に、必要な場合にのみ参照セルを使用します。
私が書いたほとんどのコードは、再帰呼び出しと末尾呼び出しのおかげで、可変変数を使用していません。可変データのグループがある場合は、レコードを使用します。let mutableプライベートな可変変数を作成するために使用するオブジェクトの場合。私は実際には、クロージャー、通常はイベントにのみ参照セルを使用します。
このMSDNブログの記事のセクション「可変値の簡略化された使用」で説明されているように、ラムダの参照セルは不要になりました。したがって、一般的には、もはやそれらはまったく必要ありません。
ブライアンによるこの記事は答えを提供するかもしれません。
ミュータブルは使いやすく効率的です（ラッピングなし）が、ラムダでキャプチャすることはできません。Refセルはキャプチャできますが、冗長で効率が低くなります（？-これはわかりません）。
ウィキブックスの「可変データ」セクションを確認することをお勧めします。
便宜上、ここにいくつかの関連する引用があります：
mutableキーワードは、可変レコードを作成するためにレコードタイプで頻繁に使用されます
可変変数は多少制限されています。可変変数は、それらが定義されている関数のスコープ外ではアクセスできません。具体的には、これは、別の関数のサブ関数でミュータブルを参照できないことを意味します。
Refセルは、可変の制限のいくつかを回避します。実際、refセルは非常に単純なデータ型であり、レコード型の可変フィールドをラップします。
参照セルはヒープに割り当てられるため、複数の関数間で共有できます