Programarea aplicativă este una dintre formele programării declarative. în care scrierea programului constă în implementarea sistematică a aplicării unui obiect în altul. Rezultatul unei astfel de aplicații este din nou un obiect care poate participa la aplicații atât ca o funcție. și în rolul de argument și așa mai departe. Aceasta face ca înregistrarea programului să fie clară din punct de vedere matematic. Faptul că funcția este indicată prin expresia, indică posibilitatea utilizării valorilor funcțiilor - obiecte funcționale - pe picior de egalitate cu alte obiecte care pot fi transmise ca argumente sau returnate ca urmare a evaluării altor funcții.
Modelele de programare aplicative se bazează, de regulă, pe logica combinatorică sau calculul λ. Logica combinatorice numai metaoperator - aplicație oferă utilizarea unui obiect la altul, în λ-calcul, cu excepția aplicațiilor, au metaoperator λ-abstractizare, prin care este posibil să se construiască funcții de exprimare care, la rândul lor, pot fi aplicate la alte obiecte. Astfel, obiectele din programarea aplicativă se comportă ca entități funcționale, care o relaționează cu o paradigmă funcțională. Cu toate acestea, într-un sens limitat, deoarece există unele particularități:
- numărul locurilor de argumentare (arity) ale obiectului nu este fixat în avans, ci se manifestă treptat, în interacțiuni cu alte obiecte;
- proiectarea obiectului compozit este unul dintre obiectele originale - funcția este aplicată pe celălalt - argumentul, în timp ce în alte contexte, ei pot schimba rolurile, adică, funcțiile și argumentele sunt tratate ca obiecte de pe picior de egalitate;
- este permisă autoaplicabilitatea funcțiilor, adică obiectul poate fi aplicat la sine.
Limba de programare aplicativă este un limbaj de programare. care este conceput pentru a sprijini dezvoltarea programelor prin obținerea unui rezultat al calculului unei funcții care depinde de o combinație de variabile. Rezultatul final este obținut prin aplicarea consecventă a transformărilor funcționale la date [1].
Exemple de limbi de programare aplicative sunt limbile funcționale Lisp [2] și ML. În limba Haskell, această paradigmă de programare este implementată ca un functor aplicativ. extinderea posibilității unui mecanism de abstractizare funcțională a ordinelor superioare la unul multidimensional.