Deklaratív programozás
From Wikipedia, the free encyclopedia
A számítástechnikában a deklaratív programozás egy programozási paradigma – a számítógépes programok szerkezetének és elemeinek felépítésének stílusa –, amely kifejezi a számítás logikáját anélkül, hogy leírná a vezérlési folyamatát.[1]
Azok a nyelvek, amely ezt a programozást használják, megpróbálják minimalizálni vagy kiküszöbölni a mellékhatásokat, úgy, hogy leírják, hogy a programnak mit kell elérnie a probléma tartományában, ahelyett, hogy a programozási nyelv primitívjeinek sorozataként írná le, hogyan kell azt megvalósítani[2] (a hogyan marad meg a nyelv megvalósításáig). Ez ellentétben áll az imperatív programozással, amely az algoritmusokat explicit lépésekben valósítja meg.[3]
A deklaratív programozás gyakran tekinti a programokat a formális logika elméletének, a számításokat pedig a logikai térben levont következtetéseknek. A deklaratív programozás nagymértékben leegyszerűsítheti a párhuzamos programok írását.[4]
A gyakran használt deklaratív nyelvek közé tartoznak az adatbázis-lekérdezési nyelvek (pl. SQL, XQuery), a reguláris kifejezések, a logikai programozás, a funkcionális programozás és a konfigurációkezelő rendszerek.