Inferencia de tipos y la generalización automática

Publicado el 29 de abril de 2016

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.

Tags : F#, Functional Programming