Limitazione valore F #

Question

Ho letto tutte le impronte sulla restrizione del valore in F #, ma ancora non lo capisco. Ho il seguente codice:

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

e il compilatore mostrare un errore:

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. 

Qualcuno mi può aiutare? Grazie mille;)

Answer 1

Consentitemi di usare le mie abilità di debug psichico. Non è possibile chiamare flatten Nil perché, come indica il compilatore, il risultato potrebbe essere un 'a list per qualsiasi tipo 'a. È necessario aggiungere un'annotazione di tipo, ad esempio (flatten Nil : int list).

Su una nota non correlata, il secondo caso nella definizione di appiattimento non è necessario e può essere rimosso poiché è anche coperto dal terzo caso.