キャプチャの観点からの可変vs ref変数

Question

F＃の変数の私の表面的な理解は、変数を「変異可能」であると宣言し、「ref」変数を使用することは本質的に同じことをすることを示唆しています。どちらも、同じ根本的な問題に対処するための異なる方法です。これは、IOモナドに頼ることなく、機能的な言語での可変性の限られた構造化された手当です。技術的な違いがあることは、私の理解によって「抽象化」されています。

1. この場合、クロージャーが可変変数をキャプチャできないのはなぜですか？
2. より一般的には、この違いを可能にする2つの形式の間で技術的な技術は何ですか？
3. 単なる1つではなく、2つの可変ショートカットを導入するという言語デザインの観点からの目的は何ですか？

これがマルチパーターである場合は申し訳ありませんが、それらはすべて関連しているようです。

Answer 1

見る

http://lorgonblog.wordpress.com/2008/11/12/on-lambdas-capture-and-mutability/

特に「言語デザインの解説」セクション（ここでそれを引用しますが、それは単独ではありません。コンテキストのためにブログエントリ全体が必要です）。