F# is a functional programming language that is part of Microsoft's .NET framework. It combines functional programming with object-oriented and imperative programming styles. F# code compiles to CLI bytecode and runs on the CLR. It features type inference, pattern matching, and supports both functional and object-oriented programming. F# was developed in 2005 as a .NET implementation of OCaml and makes it easier to use the .NET class library through Intellisense.