Aplikativní programování je typ deklarativního programování , ve kterém psaní programu spočívá v systematické aplikaci jednoho objektu na jiný. Výsledkem takové aplikace je opět objekt, který se může účastnit aplikací jako funkce i jako argument a tak dále. Díky tomu je záznam programu matematicky přehledný. Skutečnost, že funkce je označena výrazem, naznačuje možnost použití hodnotových funkcí - funkčních objektů - na stejné úrovni s jinými objekty, které lze předat jako argumenty nebo vrátit jako výsledek výpočtu jiných funkcí.
Aplikační programovací modely jsou obvykle založeny na kombinatorické logice nebo λ-kalkulu . V kombinatorické logice je jediným metaoperátorem aplikace, která zajišťuje aplikaci jednoho objektu na druhý, v λ-kalkulu je kromě aplikace λ-abstrakce metaoperátor, pomocí kterého je možné konstruovat funkce. z výrazů, které lze naopak aplikovat na jiné objekty. Objekty v aplikativním programování se tedy chovají jako funkční entity, což je odkazuje na funkční paradigma , avšak v omezeném smyslu, protože dochází k některým zvláštnostem:
Aplikativní programovací jazyk je programovací jazyk , který je navržen tak, aby podporoval vývoj programů získáním výsledku vyhodnocení funkce, která závisí na kombinaci proměnných. Konečný výsledek je dosažen postupným aplikováním funkčních transformací na data [1] .
Příklady aplikačních programovacích jazyků jsou funkční jazyky Lisp [2] a ML . V Haskell je toto programovací paradigma implementováno ve formě aplikačního funktoru , který rozšiřuje možnosti mechanismu funkční abstrakce vyššího řádu na vícemístný.