एफ # मूल्य प्रतिबंध

Question

मैंने एफ # में मूल्य प्रतिबंध के बारे में सभी ट्रेड पढ़े हैं, लेकिन मुझे अभी भी यह समझ में नहीं आया है।

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. 

किसी को भी मेरी मदद कर सकते: एक त्रुटि दिखाने

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

और संकलक: मैं निम्नलिखित कोड है? बहुत बहुत धन्यवाद;)

Answer 1

मुझे अपने मानसिक डिबगिंग कौशल का उपयोग करने की अनुमति दें। आप flatten Nil पर कॉल नहीं कर सकते हैं, क्योंकि संकलक इंगित करता है, परिणाम किसी भी प्रकार 'a के लिए 'a list हो सकता है। आपको (flatten Nil : int list) जैसे एक प्रकार की एनोटेशन जोड़नी होगी।

एक असंबंधित नोट पर, फ़्लैटन की परिभाषा में आपका दूसरा मामला अनावश्यक है और इसे हटाया जा सकता है क्योंकि यह तीसरे मामले में भी शामिल है।