F# es un lenguaje fuertemente tipado que utiliza inferencia de tipos.