FP je funkcionální programovací jazyk, který vytvořil John Backus v roce 1977. Je založen na lambda kalkulu a má striktně staticky typovaný systém. FP se používá v mnoha komerčních a akademických prostředích a také při vývoji programovacího jazyka Haskell.