如何創建F＃可變選項類型？

Question

我需要在F＃中創建一個可變的option<T>類型。我試着寫

let x = ref None 

，然後寫入

x := Some(z) 

，但它不工作。幫幫我！

Answer 1

您需要明確說明的類型，以避免"the Value Restriction"（或見"Automatic Generalization" on msdn）：

let x : Ref<int option> = ref None 

x := Some 4 

Answer 2

另外請注意，您在面對F＃中輸入代碼interacative行由行，只有當這個問題。如果輸入的第一行不提供類型的註釋，你會得到錯誤：

> let x = ref None;; 
// Tests.fsx(1,7): error FS0030: Value restriction. 

但是，如果你輸入的代碼較大porition使用該x裁判細胞（例如值賦給它）那麼F＃將能夠從代碼的後面部分推斷出該類型，因此您不需要任何類型註釋。例如：

> let x = ref None 
    x := Some(10);; 

這將正常工作，因爲F＃將會從第二行推斷x類型。這意味着如果您將代碼交互地發送到F＃以進行大部分測試（並且在編譯的F＃代碼中，您幾乎不會遇到此問題），則您可能不需要任何類型註釋。