Co je deklarativní programování?

Deklarativní programování je způsob, jak specifikovat, co by měl program dělat, spíše než specifikovat, jak to udělat. Většina počítačových jazyků je založena na krocích potřebných k vyřešení problému, ale některé jazyky uvádějí pouze základní charakteristiky problému a nechají to na počítači, aby určil nejlepší způsob, jak problém vyřešit. O bývalých jazycích se říká, že podporují imperativní programování, zatímco druhý podporuje deklarativní programování.

Jeden z příkladů z SQL může získat z prodejních dat všechny oblasti prodeje, kde zisk překračuje určité číslo, řekněme 700 USD (USD).

Vyberte oblast, zisk z prodeje, kde zisk> 700

Tento příkaz neuvádí, co musí systém SQL udělat, aby získala data. Systém SQL může procházet každým prodejním záznamem a určit, zda je podmínka splněna, nebo může rychle získat několik nejlepších záznamů z předem zvolených dat. Příkaz pouze uvádí povahu požadovaných dat.

Prolog je deklarativní programovací jazyk, který označuje logické vztahy mezi entitami.

předek (M, C): - matka (M, C)
předek (X, Z): - matka (X, Y), předek (Y, Z)

Výše uvedený program označuje truismy. Pokud M je matka C, potom M je předkem C. Pokud X je matka nějaké osoby Y, která je předkem Z, pak X je předkem Z. Vzhledem k tomu a některým skutečnostem matka-dítě, program může odpovídat na otázky týkající se celého rodného stromu matky.

Během provádění programu systém Prolog vytváří řadu pravdivých příkazů, čímž vytváří znalostní databázi. Tato znalostní databáze je prohledávána sama o sobě. Tvůrce výše uvedeného programu neuvádí, jak hledat.

HTML a CSS jsou deklarativní programovací jazyky. Například příklad HTML <table border = "1"> označuje tenké ohraničení. Příkladem CSS je barva: modrá . Určuje barvu textu. Jak je vidět v těchto příkladech, HTML a CSS specifikují, co by se mělo na webové stránce objevit, ale nikoli jak.

Výhoda deklarativních programovacích jazyků je hlavně dvojnásobná. Programy jsou stručné; to usnadňuje získání řešení i pro neprogramátory. Ve výše uvedeném příkladu SQL mohou analytik nebo osoba pro podporu podnikání získat požadované informace. Podobně mohou laici psát přijatelné webové stránky pomocí jednoduchých příkazů HTML a CSS.

Druhou výhodou deklarativního programovacího modelu je to, že v počítačovém systému je v zákulisí poskytován opakující se imperativní kód, který ukazuje, jak řešit věci. Takový kód může být vysoce efektivní a může zahrnovat nejlepší nápady z práce na počítači. Může využít výhody paralelismu.