Deklarative Sprache
aus Wikipedia, der freien Enzyklopädie
Deklarative Sprachen sind eine Gruppe von Programmiersprachen auf der Basis von Funktionen und Operatoren (funktionale Programmiersprachen), logischer Kalküle (wie Lambda-Kalkül, Prädikatenlogik) oder Datenflußgraphen. 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 und im weiteren Sinne auch SQL und XSLT.
