F＃変更可能から参照への変更

Question

変更可能なセットが必要なプログラムでの作業。閉鎖にセットを置くしようとすると、私はエラーを取得する：

let mutable donefiles : Set<FileRecord> = Set.empty 
let filestodo = Set.difference parms.FileSpecs donefiles 
let errorFile (file: FileRecord) = 
    donefiles <- Set.add file donefiles 

Error 40 The mutable variable 'donefiles' is used in an invalid way. Mutable variables cannot be captured by closures. Consider eliminating this use of mutation or using a heap-allocated mutable reference cell via 'ref' and '!'.

は、参考文献に「donefiles」を変換しようとしますが、構文の権利を取得するように見えることはできません。最初に試した（私には）明らかに：

let donefiles : Set<FileRecord> = ref Set.empty 

しかし：

Error 40 This expression was expected to have type Set but here has type 'a ref

私はこのケースでは、構文は何を使うべきですか？

Answer 1

まず第1にさん、あなたは古いバージョンのF＃を使用しているようです。可変変数のこの制限はwas lifted in F# 4.0です。

しかし、あなたは新しいバージョンに切り替えることができない場合には、ここで実際の質問への答えです：値をとり、変更可能なセルを返しref

機能が。そのようなセルのタイプは'a refです。ここで、'aが値のタイプです。

だからあなたの場合には、ref機能はSet<FileRecord> refを返しますが、あなたは、具体的タイプSet<FileRecord>を持っているdonefilesを注釈付きなので、競合は（これは、コンパイラがあなたを語っているものである）があります。

単にあなたの型注釈を調整し、それが動作します：あなたが使用できる不変のセットに変更可能な参照の代わりに

donefiles := Set.add file !donefiles