Deklarative Programmierung - Versionsgeschichte

Prüm: /* Einzelnachweise */

2024-04-15T04:20:31Z

Einzelnachweise

← Nächstältere Version		Version vom 15. April 2024, 06:20 Uhr
Zeile 81:		Zeile 81:

	[[Kategorie:Programmierparadigma]]		[[Kategorie:Programmierparadigma]]
	[[Kategorie:Programmiersprache als Thema]]

Till.niermann: /* Siehe auch */

2023-10-01T15:13:57Z

Siehe auch

← Nächstältere Version		Version vom 1. Oktober 2023, 17:13 Uhr
Zeile 75:		Zeile 75:

	== Siehe auch ==		== Siehe auch ==
	* [[Domain-driven Design]], ein Ansatz für ~~das~~ ~~Design~~ des Domänenmodells, ~~welcher~~ ein deklaratives Design propagiert		* [[Domain-driven Design]], ein Ansatz für den Entwurf des Domänenmodells, der ein deklaratives Design propagiert

	== Einzelnachweise ==		== Einzelnachweise ==

Sebastian.Dietrich: /* Beispiel */ kein Quicksort

2021-11-08T12:33:14Z

Beispiel: kein Quicksort

← Nächstältere Version		Version vom 8. November 2021, 14:33 Uhr
Zeile 49:		Zeile 49:
	Der Programmierer beschreibt, ''wie'' der Algorithmus ablaufen muss. Es wird der Lösungsweg vorgegeben, also welche einzelnen Schritte nacheinander ablaufen und wie Variablen zu verändern sind, um schließlich zum Ergebnis zu kommen.		Der Programmierer beschreibt, ''wie'' der Algorithmus ablaufen muss. Es wird der Lösungsweg vorgegeben, also welche einzelnen Schritte nacheinander ablaufen und wie Variablen zu verändern sind, um schließlich zum Ergebnis zu kommen.

	~~Derselbe~~ ~~Sortierungsalgorithmus~~ kann in der deklarativen Programmiersprache [[Haskell (Programmiersprache)\|Haskell]] folgendermaßen formuliert werden:		Ein ähnlicher Algorithmus kann in der deklarativen Programmiersprache [[Haskell (Programmiersprache)\|Haskell]] folgendermaßen formuliert werden:

	<syntaxhighlight lang="Haskell">		<syntaxhighlight lang="Haskell">
Zeile 56:		Zeile 56:
	</syntaxhighlight>		</syntaxhighlight>

	Der Programmierer beschreibt, ''was'' das Programm mit einer Eingabe macht, also wie mit welcher Eingabe umzugehen ist, wobei der Berechnungsablauf nicht von Interesse ist. Die Berechnungen erfolgen dann durch Wertemanipulation. Hauptkontrollstruktur bildet die [[Rekursion]], aus Effizienzgründen besonders die [[Endrekursion]].		Der Programmierer beschreibt, ''was'' das Programm mit einer Eingabe macht, also wie mit welcher Eingabe umzugehen ist, wobei der Berechnungsablauf nicht von Interesse ist. Die Berechnungen erfolgen dann durch Wertemanipulation. Hauptkontrollstruktur bildet die [[Rekursion]], aus Effizienzgründen besonders die [[Endrekursion]]. Es handelt sich hier aber nicht mehr um einen Quicksort-Algorithmus, da Quicksort ein [[in-Place]]-Verfahren ist, welches die bestehende Liste manipuliert und nicht wie der vorliegende Algorithmus eine neue Liste erzeugt.

	== Vorzüge ==		== Vorzüge ==

88.219.19.187: /* Beispiel */ Bessere Lesbarkeit (und üblichere Formatierung)

2019-04-23T00:17:35Z

Beispiel: Bessere Lesbarkeit (und üblichere Formatierung)

← Nächstältere Version		Version vom 23. April 2019, 02:17 Uhr
Zeile 20:		Zeile 20:

	<syntaxhighlight lang="Pascal">		<syntaxhighlight lang="Pascal">
	procedure quicksort(l,r : ~~integer~~);		procedure quicksort(l, r: Integer);
			var
	var x,i,j,tmp : integer;
			x, i, j, tmp: Integer;
	begin		begin
	if r>l then		if r > l then
	begin		begin
	x:=a[l]; i:=l; j:=r+1;		x := a[l]; i := l; j := r + 1;
⚫	repeat
	repeat ~~i:=i+1 until a[i]>=x;~~		repeat
	repeat ~~j:=j-1 until a[j]<=x;~~		repeat
	~~tmp~~:=~~a[j];~~ ~~a[j]:=a[~~i]; ~~a[i]:=tmp~~;		i := i + 1;
	until ~~j<=~~i;		until a[i] >= x;
		⚫	repeat
⚫	tmp:=a[j]; a[j]:=a[l]; a[l]:=tmp;
	~~quicksort(l,~~j-1);		j := j - 1;
	~~quicksort(~~j~~+1,r)~~;		until a[j] <= x;

⚫	end
			// exchange a[j] and a[i]
⚫	end;
		⚫	tmp := a[j]; a[j] := a[i]; a[i] := tmp;
			until j <= i;

			// exchange a[j] and a[l]
			tmp := a[j]; a[j] := a[l]; a[l] := tmp;
			quicksort(l, j - 1);
			quicksort(j + 1, r);
		⚫	end
		⚫	end;
	</syntaxhighlight>		</syntaxhighlight>

Zeile 43:		Zeile 52:

	<syntaxhighlight lang="Haskell">		<syntaxhighlight lang="Haskell">
	quicksort [] = []		quicksort [] = []
	quicksort (x:xs) = quicksort [n \| n<-xs, n<x] ++ [x] ++ quicksort [n \| n<-xs, n>=x]		quicksort (x:xs) = quicksort [n \| n<-xs, n<x] ++ [x] ++ quicksort [n \| n<-xs, n>=x]
	</syntaxhighlight>		</syntaxhighlight>

85.181.60.171: /* Deklarative Sprachen */ Interner statt externer Link

2018-08-03T13:49:14Z

Deklarative Sprachen: Interner statt externer Link

← Nächstältere Version		Version vom 3. August 2018, 15:49 Uhr
Zeile 9:		Zeile 9:
	* [[Abfragesprache]]n (z. B. [[SQL]])		* [[Abfragesprache]]n (z. B. [[SQL]])
	* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])		* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])
	* funktional-logische Sprachen (z. B. Babel, Escher, [~~http://www-ps.informatik.uni-kiel.de/currywiki/~~ Curry], [[Oz (Programmiersprache)\|Oz]])		* funktional-logische Sprachen (z. B. Babel, Escher, [[Curry (Programmiersprache)\|Curry]], [[Oz (Programmiersprache)\|Oz]])
	* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])		* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])
	* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])		* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])

217.64.163.97: Funktionale Sprachen können als deklarativ betrachtet werden, da die Reihenfolge der Ausführung oft nicht festgelegt ist. Lisp allerdings ist generell strikt ausgewertet, und kann daher in keiner Weise als deklarativ betrachtet werden.

2018-01-10T12:44:46Z

Funktionale Sprachen können als deklarativ betrachtet werden, da die Reihenfolge der Ausführung oft nicht festgelegt ist. Lisp allerdings ist generell strikt ausgewertet, und kann daher in keiner Weise als deklarativ betrachtet werden.

← Nächstältere Version		Version vom 10. Januar 2018, 14:44 Uhr
Zeile 10:		Zeile 10:
	* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])		* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])
	* funktional-logische Sprachen (z. B. Babel, Escher, [http://www-ps.informatik.uni-kiel.de/currywiki/ Curry], [[Oz (Programmiersprache)\|Oz]])		* funktional-logische Sprachen (z. B. Babel, Escher, [http://www-ps.informatik.uni-kiel.de/currywiki/ Curry], [[Oz (Programmiersprache)\|Oz]])
	* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. ~~[[Lisp]],~~ [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])		* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])
	* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])		* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])
	* [[Synchrone Programmiersprache]]n (z. B. [[Lustre (Programmiersprache)\|Lustre]])		* [[Synchrone Programmiersprache]]n (z. B. [[Lustre (Programmiersprache)\|Lustre]])

134.245.253.140: Added external link to Curry

2017-07-11T12:34:00Z

Added external link to Curry

← Nächstältere Version		Version vom 11. Juli 2017, 14:34 Uhr
Zeile 9:		Zeile 9:
	* [[Abfragesprache]]n (z. B. [[SQL]])		* [[Abfragesprache]]n (z. B. [[SQL]])
	* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])		* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])
	* funktional-logische Sprachen (z. B. Babel, Escher, Curry, [[Oz (Programmiersprache)\|Oz]])		* funktional-logische Sprachen (z. B. Babel, Escher, [http://www-ps.informatik.uni-kiel.de/currywiki/ Curry], [[Oz (Programmiersprache)\|Oz]])
	* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[Lisp]], [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])		* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[Lisp]], [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])
	* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])		* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])

2A02:810D:1C0:1698:4B9:6A6B:F27B:A301 am 15. September 2016 um 20:24 Uhr

2016-09-15T20:24:05Z

← Nächstältere Version		Version vom 15. September 2016, 22:24 Uhr
Zeile 49:		Zeile 49:
	Der Programmierer beschreibt, ''was'' das Programm mit einer Eingabe macht, also wie mit welcher Eingabe umzugehen ist, wobei der Berechnungsablauf nicht von Interesse ist. Die Berechnungen erfolgen dann durch Wertemanipulation. Hauptkontrollstruktur bildet die [[Rekursion]], aus Effizienzgründen besonders die [[Endrekursion]].		Der Programmierer beschreibt, ''was'' das Programm mit einer Eingabe macht, also wie mit welcher Eingabe umzugehen ist, wobei der Berechnungsablauf nicht von Interesse ist. Die Berechnungen erfolgen dann durch Wertemanipulation. Hauptkontrollstruktur bildet die [[Rekursion]], aus Effizienzgründen besonders die [[Endrekursion]].

	== ~~Eigenschaften~~ ==		== Vorzüge ==
	* Die Programme sind oft kürzer als vergleichbare imperative Programme.		* Die Programme sind oft kürzer als vergleichbare imperative Programme.
	* [[Beweis (Logik)\|Beweise]] (z. B. [[Korrektheit (Informatik)\|Korrektheitsbeweis]], Beweise über Programmeigenschaften) sind dank einfacherer mathematischer Basis (u. a. [[Lambda-Kalkül]]) leichter durchführbar, falls überhaupt möglich.		* [[Beweis (Logik)\|Beweise]] (z. B. [[Korrektheit (Informatik)\|Korrektheitsbeweis]], Beweise über Programmeigenschaften) sind dank einfacherer mathematischer Basis (u. a. [[Lambda-Kalkül]]) leichter durchführbar, falls überhaupt möglich.

2A02:810D:1C0:1698:4B9:6A6B:F27B:A301 am 15. September 2016 um 20:23 Uhr

2016-09-15T20:23:16Z

← Nächstältere Version		Version vom 15. September 2016, 22:23 Uhr
Zeile 49:		Zeile 49:
	Der Programmierer beschreibt, ''was'' das Programm mit einer Eingabe macht, also wie mit welcher Eingabe umzugehen ist, wobei der Berechnungsablauf nicht von Interesse ist. Die Berechnungen erfolgen dann durch Wertemanipulation. Hauptkontrollstruktur bildet die [[Rekursion]], aus Effizienzgründen besonders die [[Endrekursion]].		Der Programmierer beschreibt, ''was'' das Programm mit einer Eingabe macht, also wie mit welcher Eingabe umzugehen ist, wobei der Berechnungsablauf nicht von Interesse ist. Die Berechnungen erfolgen dann durch Wertemanipulation. Hauptkontrollstruktur bildet die [[Rekursion]], aus Effizienzgründen besonders die [[Endrekursion]].

	== ~~Vorteile~~ ==		== Eigenschaften ==
	* Die Programme sind oft kürzer als vergleichbare imperative Programme.		* Die Programme sind oft kürzer als vergleichbare imperative Programme.
	* [[Beweis (Logik)\|Beweise]] (z. B. [[Korrektheit (Informatik)\|Korrektheitsbeweis]], Beweise über Programmeigenschaften) sind dank einfacherer mathematischer Basis (u. a. [[Lambda-Kalkül]]) leichter durchführbar, falls überhaupt möglich.		* [[Beweis (Logik)\|Beweise]] (z. B. [[Korrektheit (Informatik)\|Korrektheitsbeweis]], Beweise über Programmeigenschaften) sind dank einfacherer mathematischer Basis (u. a. [[Lambda-Kalkül]]) leichter durchführbar, falls überhaupt möglich.

2A02:810D:1C0:1698:4B9:6A6B:F27B:A301: Keine Quellen für Behauptungen

2016-09-15T20:22:23Z

Keine Quellen für Behauptungen

← Nächstältere Version		Version vom 15. September 2016, 22:22 Uhr
Zeile 64:		Zeile 64:
	\| zugriff=2011-10-16		\| zugriff=2011-10-16
	}}</ref>		}}</ref>

	== Nachteile ==
	* [[Rechenleistung\|Performanz]]: Der angegebene [[Quicksort]]-Algorithmus läuft in Pascal wesentlich schneller als in Haskell und ist demnach für die Verarbeitung größerer Datenmengen besser geeignet.
	* Deklarative Programmierparadigmen stehen insbesondere imperativen und objektorientierten Paradigmen in ihrer [[Akzeptanz]] nach. Man spricht gern von sogenannten Akademiker-Sprachen.

	== Siehe auch ==		== Siehe auch ==

← Nächstältere Version		Version vom 3. August 2018, 15:49 Uhr
Zeile 9:		Zeile 9:
	* [[Abfragesprache]]n (z. B. [[SQL]])		* [[Abfragesprache]]n (z. B. [[SQL]])
	* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])		* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])
	* funktional-logische Sprachen (z. B. Babel, Escher, [~~http://www-ps.informatik.uni-kiel.de/currywiki/~~ Curry], [[Oz (Programmiersprache)\|Oz]])		* funktional-logische Sprachen (z. B. Babel, Escher, [[Curry (Programmiersprache)\|Curry]], [[Oz (Programmiersprache)\|Oz]])
	* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])		* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])
	* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])		* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])

← Nächstältere Version		Version vom 10. Januar 2018, 14:44 Uhr
Zeile 10:		Zeile 10:
	* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])		* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])
	* funktional-logische Sprachen (z. B. Babel, Escher, [http://www-ps.informatik.uni-kiel.de/currywiki/ Curry], [[Oz (Programmiersprache)\|Oz]])		* funktional-logische Sprachen (z. B. Babel, Escher, [http://www-ps.informatik.uni-kiel.de/currywiki/ Curry], [[Oz (Programmiersprache)\|Oz]])
	* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. ~~[[Lisp]],~~ [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])		* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])
	* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])		* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])
	* [[Synchrone Programmiersprache]]n (z. B. [[Lustre (Programmiersprache)\|Lustre]])		* [[Synchrone Programmiersprache]]n (z. B. [[Lustre (Programmiersprache)\|Lustre]])

← Nächstältere Version		Version vom 11. Juli 2017, 14:34 Uhr
Zeile 9:		Zeile 9:
	* [[Abfragesprache]]n (z. B. [[SQL]])		* [[Abfragesprache]]n (z. B. [[SQL]])
	* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])		* [[Datenflusssprache]]n (z. B. Val oder [[Linda (Programmiersprache)\|Linda]])
	* funktional-logische Sprachen (z. B. Babel, Escher, Curry, [[Oz (Programmiersprache)\|Oz]])		* funktional-logische Sprachen (z. B. Babel, Escher, [http://www-ps.informatik.uni-kiel.de/currywiki/ Curry], [[Oz (Programmiersprache)\|Oz]])
	* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[Lisp]], [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])		* [[Funktionale Programmierung\|funktionale Sprachen]] (z. B. [[Lisp]], [[ML (Programmiersprache)\|ML]], [[Miranda (Programmiersprache)\|Miranda]], [[Gofer]], [[Haskell (Programmiersprache)\|Haskell]], [[Erlang (Programmiersprache)\|Erlang]])
	* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])		* [[Logische Programmierung\|logische Sprachen]] (z. B. [[Prolog (Programmiersprache)\|Prolog]])