Az applikatív programozás a deklaratív programozás egyik fajtája, amelyben egy program megírása az egyik objektum másikra történő szisztematikus alkalmazásából áll. Egy ilyen alkalmazás eredménye ismét egy objektum, amely funkcióként és argumentumként is részt vehet az alkalmazásokban stb. Ez matematikailag egyértelművé teszi a program rögzítését. Az, hogy egy függvényt kifejezéssel jelölünk, azt jelzi, hogy az értékfüggvények - függvényobjektumok - más objektumokkal egyenrangúan használhatók, amelyek argumentumként átadhatók vagy más függvények számítása eredményeként visszaadhatók.
Az applikatív programozási modellek általában kombinatorikus logikán vagy λ-számításon alapulnak . A kombinatorikus logikában az egyetlen metaoperátor az alkalmazás, amely biztosítja az egyik objektum alkalmazását a másikra, a λ-kalkulusban az alkalmazás mellett van egy λ-absztrakciós metaoperátor, amellyel függvényeket lehet szerkeszteni. kifejezésekből, amelyek viszont más objektumokra is alkalmazhatók. Így az objektumok az applikatív programozásban funkcionális entitásként viselkednek, ami a funkcionális paradigmára utal , azonban korlátozott értelemben, mivel bizonyos sajátosságok előfordulnak:
Az applikatív programozási nyelv egy olyan programozási nyelv , amelyet úgy terveztek, hogy támogassa a programok fejlesztését azáltal, hogy megkapja egy függvény kiértékelésének eredményét, amely változók kombinációjától függ. A végeredményt úgy érjük el, hogy az adatokra egymás után alkalmazzuk a funkcionális transzformációkat [1] .
Az applikatív programozási nyelvek példái a Lisp [2] és az ML funkcionális nyelvek . A Haskellben ezt a programozási paradigmát egy applikatív függvény formájában valósítják meg , amely kiterjeszti a magasabb rendű funkcionális absztrakciós mechanizmus képességeit egy sokhelyesre.