F# es un lenguaje de programación primeramente funcional, fuertemente tipado, que usa la inferencia de tipos.