A deklaratív programozás olyan programozási paradigma, amely alkalmazásokat hoz létre a kontextus független szoftverkomponensein alapulva, és nincs belső állapota. Más szavakkal, ha ezeknek az összetevőknek az egyikét ugyanazokkal az argumentumokkal hívjuk meg, akkor a hívás idejétől és kontextusától függetlenül pontosan ugyanaz az eredmény születik.
A deklaratív programozásban leírjuk a mi , vagyis a problémát. Például a HTML- oldalak deklaratívak, mert leírják, mit tartalmaz egy oldal (szöveg, címek, bekezdések stb. ), És nem azt, hogy miként jelenítsék meg őket (pozicionálás, színek, betűtípusok stb.). Míg az imperatív programozásban (például C-vel vagy Java-val ) leírjuk a hogyan , vagyis a megoldásnak megfelelő vezérlő struktúrát .
Ez egy mellékhatások nélküli programozási forma , amely általában megfelel a matematikai logikának .
A deklaratív programozásnak számos formája létezik:
Peter Van Roy, Seif Haridi. A számítógépes programozás fogalmai, technikái és modelljei . MIT Press, 2004.