Ograniczenie wartości F #

Question

Przeczytałem wszystkie stopnie dotyczące ograniczenia wartości w F #, ale nadal nie rozumiem tego. Mam następujący kod:

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

i kompilator pokazuje błąd:

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. 

Czy ktoś może mi pomóc? Dziękuję bardzo;)

Answer 1

Pozwól mi użyć moich umiejętności psychicznego debugowania. Nie można wywołać flatten Nil, ponieważ, jak wskazuje kompilator, wynikiem może być 'a list dla dowolnego typu 'a. Musisz dodać adnotację typu, na przykład (flatten Nil : int list).

W przypadku niepowiązanej uwagi, drugi przypadek w definicji spłaszczania jest niepotrzebny i można go usunąć, ponieważ jest również objęty trzecim przypadkiem.