Restricción del valor F #

Question

He leído todas las pistas sobre la restricción de valores en F #, pero todavía no lo entiendo. Tengo el siguiente código:

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

y el compilador mostrará un error:

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. 

¿Puede alguien ayudarme? Muchas gracias;)

Answer 1

Permítanme usar mis habilidades de depuración psíquica. No puede llamar al flatten Nil porque, como indica el compilador, el resultado podría ser 'a list para cualquier tipo 'a. Debe agregar una anotación de tipo, como (flatten Nil : int list).

En una nota no relacionada, su segundo caso en la definición de aplanar es innecesario y puede eliminarse ya que también está cubierto por el tercer caso.