Deklarative Sprache

Deklarative Sprachen sind eine Gruppe von Computersprachen auf der Basis von Funktionen und Operatoren (funktionale Programmiersprachen), logischer Kalküle (wie Lambda-Kalkül, Prädikatenlogik) oder Datenflussgraphen. Den deklarativen Sprachen stehen die weiter verbreiteten imperativen Sprachen wie C, C++ oder Java gegenüber.

Die Unterschiede der beiden Herangehensweisen sind bei der Implementierung am deutlichsten.

Imperative Sprachen beschreiben Berechnungsabläufe, damit lassen sich imperative Programme als Anweisungen an die Maschine, auf der sie ablaufen, verstehen. Betrachtet man einen Algorithmus als Kombination von Arbeits- und Steuermechanismus, so ist eine Trennung dieser Bestandteile bei Verwendung einer imperativen Programmiersprache kaum möglich. Die deklarativen Sprachen hingegen ermöglichen eine Trennung von Arbeits- und Steuerungsalgorithmus.

Bekannte Vertreter von deklarativen Sprachen sind Haskell, LISP, Prolog, XAML und im weiteren Sinne auch SQL und XSLT.