F＃值限制

Question

我已閱讀了所有有關F＃中的值限制的內容，但我仍不明白。我有以下代碼：

type tree<'a> = 
    | Nil 
    | Node of (tree<'a> * 'a * tree<'a>) 

let rec flatten = function 
    | Nil -> [] 
    | Node (Nil, b, Nil) -> [b] 
    | Node (l, h, p) -> List.concat [(flatten l);[h];(flatten p)] 

和編譯器顯示錯誤：

error FS0030: Value restriction. The value 'it' has been inferred to have generic type 
    val it : '_a list  
Either define 'it' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation. 

誰能幫助我？非常感謝;）

Answer 1

允許我使用我的心理調試技能。您不能撥打flatten Nil，因爲如編譯器所示，對於任何類型'a，結果可能是'a list。您必須添加類型註釋，例如(flatten Nil : int list)。

在一個不相關的說明中，您在拼合定義中的第二種情況是不必要的，可以刪除，因爲它也包含在第三種情況中。