Una de las características con la que cualquier programador queda atrapado al entrar en contacto por primera vez con F# es con la inferencia de tipos.

Por ejemplo, a partir del siguiente código:

let x = 42
let truth = true

El compilador infiere que ‘x’ es de tipo entero y ‘truth’ de tipo booleano. En este caso, el algoritmo de inferencia de tipos determina el tipo a partir de los valores situados en el lado derecho.

Puedes leer el artículo completo que he escrito este mes para F# TV Gazette.