FP ist eine funktionale Programmiersprache, die 1977 von John Backus entwickelt wurde. Sie basiert auf dem Lambda-Kalkül und hat ein streng statisch typisiertes System. FP wird in vielen kommerziellen und akademischen Bereichen sowie bei der Entwicklung der Programmiersprache Haskell verwendet.