FP is a functional programming language created by John Backus in 1977. It is based on the lambda calculus and has a strict statically typed system. FP is used in many commercial and academic settings, as well as in the development of the Haskell programming language.