Applikatiivinen ohjelmointi on deklaratiivisen ohjelmoinnin tyyppi, jossa ohjelman kirjoittaminen koostuu objektin systemaattisesta soveltamisesta toiseen. Tällaisen sovelluksen tulos on jälleen objekti, joka voi osallistua sovelluksiin sekä funktiona että argumenttina ja niin edelleen. Tämä tekee ohjelmatallenteen matemaattisesti selkeäksi. Se, että funktio on merkitty lausekkeella, osoittaa mahdollisuutta käyttää arvofunktioita - funktioobjekteja - tasavertaisesti muiden objektien kanssa, jotka voidaan välittää argumentteina tai palauttaa muiden funktioiden laskennan tuloksena.
Sovellettavat ohjelmointimallit perustuvat yleensä kombinatoriseen logiikkaan tai λ-laskentaan . Kombinatorisessa logiikassa ainoa meta-operaattori on sovellus, joka varmistaa objektin soveltamisen toiseen, λ-laskennassa sovelluksen lisäksi on λ-abstraktio-meta-operaattori, jolla voidaan rakentaa funktioita. lausekkeista, joita puolestaan voidaan soveltaa muihin objekteihin. Siten applikatiivisen ohjelmoinnin objektit käyttäytyvät kuin toiminnallisia kokonaisuuksia, mikä viittaa sen toiminnalliseen paradigmaan , kuitenkin rajoitetussa mielessä, koska joitain erityispiirteitä tapahtuu:
Sovellusohjelmointikieli on ohjelmointikieli , joka on suunniteltu tukemaan ohjelmien kehitystä saamalla muuttujien yhdistelmästä riippuvan funktion arvioinnin tulos. Lopputulos saavutetaan soveltamalla dataan peräkkäisiä funktionaalisia muunnoksia [1] .
Esimerkkejä aplikatiivisista ohjelmointikielistä ovat toiminnalliset kielet Lisp [2] ja ML . Haskellissa tämä ohjelmointiparadigma on toteutettu aplikatiivisena funktionaalisena , joka laajentaa korkeamman asteen funktionaalisen abstraktiomekanismin ominaisuudet monipaikkaiseen.