F # değer kısıtlaması

Question

F # değer kısıtlamasıyla ilgili tüm basamakları okudum, ancak hala anlamadım.

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. 

Herkes bana yardımcı olabilir: bir hata gösterebilir

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)] 

ve derleyici: Aşağıdaki kod var? Çok teşekkür ederim;)

Answer 1

Psişik hata ayıklama becerilerimi kullanmama izin verin. flatten Nil'u arayamazsınız çünkü derleyici belirtildiği gibi, sonuç 'a türünde bir 'a list olabilir. (flatten Nil : int list) gibi bir tür not eklemeniz gerekir.

İlişik olmayan bir notta, düzleştirmenin tanımındaki ikinci durumunuz gereksizdir ve üçüncü vaka tarafından da kapsandığı için kaldırılabilir.