Аппликативное програмування — один з видів декларативного програмування, у якому написання програми полягає в систематичному здійсненні застосування одного об'єкта до іншого. Результатом такого застосування знову є об'єкт, який може брати участь в застосуваннях як у ролі функції, так і в ролі аргументу і так далі. Це робить запис програми математично ясною. Той факт, що функція позначається виразом, свідчить про можливість використання значень функцій — функціональних об'єктів — на рівних правах з іншими об'єктами, які можна передавати як аргументи, або повертати як результат обчислення інших функцій.
Моделі апплікатівного програмування ґрунтуються, як правило, на комбінаторної логіки або λ-численні. У комбінаторної логіки єдиний метаоператор — аплікація, забезпечує застосування одного об'єкта до іншого, λ-числення, крім аплікації, є метаоператор λ-абстракції, за допомогою якого можливо побудова функцій, виразів, які, в свою чергу, можна застосовувати до інших об'єктів. Таким чином, об'єкти в аппликативном програмуванні ведуть себе як функціональні сутності, що відносить його до функціональної парадигми, однак, у обмеженому розумінні, оскільки мають місце деякі особливості: число аргументных місць (арність) об'єкта заздалегідь не фіксується, але проявляє себе поступово, у взаємодіях з іншими об'єктами; при конструюванні складеного об'єкта один з вихідних об'єктів — функція, що застосовується до іншого аргументу, при цьому в інших контекстах вони можуть помінятися ролями, тобто функції і аргументи розглядаються як об'єкти на рівних правах; дозволяється самоприменимость функцій, тобто об'єкт може застосовуватися сам до себе.
Апплікатівний мова програмування — мова програмування, який призначений для підтримки розробки програм способом отримання результату обчислення функції, яка залежить від комбінації змінних. Кінцевий результат досягається послідовним застосуванням функціональних перетворень до даних[].
Прикладами аплікативного мов програмування служать функціональні мови Лисп[] і ML. У мові Haskell ця парадигма програмування реалізована у вигляді апплікатівного функтора, розширює можливості механізму функціональної абстракції вищих порядків до багатомісної.
