FP je funkcionálny programovací jazyk, ktorý vytvoril John Backus v roku 1977. Je založený na lambda kalkulu a má striktný staticky typovaný systém. FP sa používa v mnohých komerčných a akademických prostrediach, ako aj pri vývoji programovacieho jazyka Haskell.