FP es un lenguaje de programación funcional creado por John Backus en 1977. Se basa en el cálculo lambda y tiene un sistema de tipado estático estricto. FP se utiliza en muchos entornos comerciales y académicos, así como en el desarrollo del lenguaje de programación Haskell.