Funktionale Programmierung - Versionsgeschichte

~2025-146076: OCaml-Code korrigiert

2025-07-07T09:10:11Z

OCaml-Code korrigiert

← Nächstältere Version		Version vom 7. Juli 2025, 11:10 Uhr
Zeile 192:		Zeile 192:

	=== [[F-Sharp\|F#]] und [[OCaml]] ===		=== [[F-Sharp\|F#]] und [[OCaml]] ===
	<syntaxhighlight lang="~~fsharp~~">		<syntaxhighlight lang="ocaml">
	let ringarea (r1, r2) =		let ringarea r1 r2 =
	let pi = 3.14 in		let pi = 3.14 in
	let sq x = x*x in		let sq x = x *. x in
	pi * (sq r1 - sq r2)		pi *. (sq r1 -. sq r2)
	</syntaxhighlight>		</syntaxhighlight>

Thomas Dresler: Commonscat mit Helferlein hinzugefügt

2025-07-05T07:58:23Z

Commonscat mit Helferlein hinzugefügt

← Nächstältere Version		Version vom 5. Juli 2025, 09:58 Uhr
Zeile 325:		Zeile 325:

	== Weblinks ==		== Weblinks ==
			{{Commonscat\|Functional programming\|Funktionale Programmierung}}
	* [https://www.infosun.fim.uni-passau.de/cl/lehre/funcprog05/wasistfp.html ''Was ist funktionale Programmierung?''], Fakultät für Informatik und Mathematik der [[Universität Passau]]		* [https://www.infosun.fim.uni-passau.de/cl/lehre/funcprog05/wasistfp.html ''Was ist funktionale Programmierung?''], Fakultät für Informatik und Mathematik der [[Universität Passau]]
	* Amr Sabry: [https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.7800 ''What is a Purely Functional Language?''] In: ''J. Functional Programming.'' 8(1), Januar 1998, S. 1–22.		* Amr Sabry: [https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.7800 ''What is a Purely Functional Language?''] In: ''J. Functional Programming.'' 8(1), Januar 1998, S. 1–22.

Thomas Dresler: Wikilink mit sichtbaren Klammern korrigiert

2025-07-05T07:58:11Z

Wikilink mit sichtbaren Klammern korrigiert

← Nächstältere Version		Version vom 5. Juli 2025, 09:58 Uhr
Zeile 327:		Zeile 327:
	* [https://www.infosun.fim.uni-passau.de/cl/lehre/funcprog05/wasistfp.html ''Was ist funktionale Programmierung?''], Fakultät für Informatik und Mathematik der [[Universität Passau]]		* [https://www.infosun.fim.uni-passau.de/cl/lehre/funcprog05/wasistfp.html ''Was ist funktionale Programmierung?''], Fakultät für Informatik und Mathematik der [[Universität Passau]]
	* Amr Sabry: [https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.7800 ''What is a Purely Functional Language?''] In: ''J. Functional Programming.'' 8(1), Januar 1998, S. 1–22.		* Amr Sabry: [https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.7800 ''What is a Purely Functional Language?''] In: ''J. Functional Programming.'' 8(1), Januar 1998, S. 1–22.
	* Carsten König'': [https://www.informatik-aktuell.de/entwicklung/programmiersprachen/was-ist-funktionale-programmierung.html Was ist funktionale Programmierung?]'', [[Informatik Aktuell (Magazin)]]		* Carsten König'': [https://www.informatik-aktuell.de/entwicklung/programmiersprachen/was-ist-funktionale-programmierung.html Was ist funktionale Programmierung?]'', [[Informatik Aktuell (Magazin)\|Informatik Aktuell]]
	* Andre Schütz: [https://www.informatik-aktuell.de/entwicklung/programmiersprachen/funktionale-programmierung-mit-scala-herangehensweisen-und-konzepte.html ''Funktionale Programmierung mit Scala: Einführung''], [[Informatik Aktuell (Magazin)]]		* Andre Schütz: [https://www.informatik-aktuell.de/entwicklung/programmiersprachen/funktionale-programmierung-mit-scala-herangehensweisen-und-konzepte.html ''Funktionale Programmierung mit Scala: Einführung''], [[Informatik Aktuell (Magazin)\|Informatik Aktuell]]

	== Einzelnachweise ==		== Einzelnachweise ==

Gerbil am 1. Juli 2025 um 15:15 Uhr

2025-07-01T15:15:48Z

← Nächstältere Version		Version vom 1. Juli 2025, 17:15 Uhr
Zeile 3:		Zeile 3:
	Die funktionale Programmierung entspringt der mathematischen Grundlagenforschung. In den 1930er Jahren entwickelte [[Alonzo Church]] den [[Lambda-Kalkül]] als Instrument, um das Entscheidungsproblem zu bearbeiten und dazu den Begriff der berechenbaren Funktion zu definieren. Der Lambda-Kalkül selbst beschäftigt sich nicht mit bestimmten Funktionen, sondern ist nur ein Regelwerk dafür, wie die Anwendung von Funktionen auf ihre Argumente erfolgt und wie dabei mit freien und gebundenen Variablen verfahren wird.		Die funktionale Programmierung entspringt der mathematischen Grundlagenforschung. In den 1930er Jahren entwickelte [[Alonzo Church]] den [[Lambda-Kalkül]] als Instrument, um das Entscheidungsproblem zu bearbeiten und dazu den Begriff der berechenbaren Funktion zu definieren. Der Lambda-Kalkül selbst beschäftigt sich nicht mit bestimmten Funktionen, sondern ist nur ein Regelwerk dafür, wie die Anwendung von Funktionen auf ihre Argumente erfolgt und wie dabei mit freien und gebundenen Variablen verfahren wird.

	Die besonderen Eigenschaften der funktionalen Programmierung ermöglichen es, auf die in der [[Prozedurale Programmierung\|prozeduralen Programmierung]] benötigten Zustandsänderungen ~~ausserhalb~~ eines Unterprogrammes, die auch [[Wirkung (Informatik)\|Seiteneffekte]] genannt werden, zu verzichten, falls sie überhaupt möglich sind. Der Verzicht auf die Seiteneffekte vereinfacht auf der einen Seite die semantische Analyse eines Computerprogramms erheblich und eröffnet auf der anderen Seite weitreichende Möglichkeiten zur regelbasierten, algebraischen Programmtransformation und -synthese. Daraus ergibt sich die erhebliche praktische Bedeutung der funktionalen Programmierung für die Informatik.		Die besonderen Eigenschaften der funktionalen Programmierung ermöglichen es, auf die in der [[Prozedurale Programmierung\|prozeduralen Programmierung]] benötigten Zustandsänderungen außerhalb eines Unterprogrammes, die auch [[Wirkung (Informatik)\|Seiteneffekte]] genannt werden, zu verzichten, falls sie überhaupt möglich sind. Der Verzicht auf die Seiteneffekte vereinfacht auf der einen Seite die semantische Analyse eines Computerprogramms erheblich und eröffnet auf der anderen Seite weitreichende Möglichkeiten zur regelbasierten, algebraischen Programmtransformation und -synthese. Daraus ergibt sich die erhebliche praktische Bedeutung der funktionalen Programmierung für die Informatik.

	Eine weitere Konsequenz ist, dass es in funktionaler Programmierung besonders einfach ist, Algorithmen ohne Berücksichtigung der Beschaffenheit der bearbeiteten Datenobjekte zu beschreiben und dadurch generischen Programmcode zu erstellen. Viele funktionale Verfahren sind so generisch, dass sie seit den 1950er Jahren keiner Anpassung unterworfen werden mussten.		Eine weitere Konsequenz ist, dass es in funktionaler Programmierung besonders einfach ist, Algorithmen ohne Berücksichtigung der Beschaffenheit der bearbeiteten Datenobjekte zu beschreiben und dadurch generischen Programmcode zu erstellen. Viele funktionale Verfahren sind so generisch, dass sie seit den 1950er Jahren keiner Anpassung unterworfen werden mussten.

95.222.82.97: Prozedural, funktional, objektorientiert: imperativ, so lange nicht deklarativ.

2025-06-01T02:07:26Z

Prozedural, funktional, objektorientiert: imperativ, so lange nicht deklarativ.

← Nächstältere Version		Version vom 1. Juni 2025, 04:07 Uhr
Zeile 3:		Zeile 3:
	Die funktionale Programmierung entspringt der mathematischen Grundlagenforschung. In den 1930er Jahren entwickelte [[Alonzo Church]] den [[Lambda-Kalkül]] als Instrument, um das Entscheidungsproblem zu bearbeiten und dazu den Begriff der berechenbaren Funktion zu definieren. Der Lambda-Kalkül selbst beschäftigt sich nicht mit bestimmten Funktionen, sondern ist nur ein Regelwerk dafür, wie die Anwendung von Funktionen auf ihre Argumente erfolgt und wie dabei mit freien und gebundenen Variablen verfahren wird.		Die funktionale Programmierung entspringt der mathematischen Grundlagenforschung. In den 1930er Jahren entwickelte [[Alonzo Church]] den [[Lambda-Kalkül]] als Instrument, um das Entscheidungsproblem zu bearbeiten und dazu den Begriff der berechenbaren Funktion zu definieren. Der Lambda-Kalkül selbst beschäftigt sich nicht mit bestimmten Funktionen, sondern ist nur ein Regelwerk dafür, wie die Anwendung von Funktionen auf ihre Argumente erfolgt und wie dabei mit freien und gebundenen Variablen verfahren wird.

	Die besonderen Eigenschaften der funktionalen Programmierung ermöglichen es, auf die, in der [[~~Imperative~~ Programmierung\|~~imperativen~~ Programmierung]] benötigten, ~~inneren~~ ~~Zustände~~ eines ~~Berechnungsprozesses ebenso zu verzichten, wie auf die zugehörigen Zustandsänderungen~~, die auch [[Wirkung (Informatik)\|Seiteneffekte]] genannt werden. Der Verzicht auf die Seiteneffekte vereinfacht auf der einen Seite die semantische Analyse eines Computerprogramms erheblich und eröffnet auf der anderen Seite weitreichende Möglichkeiten zur regelbasierten, algebraischen Programmtransformation und -synthese. Daraus ergibt sich die erhebliche praktische Bedeutung der funktionalen Programmierung für die Informatik.		Die besonderen Eigenschaften der funktionalen Programmierung ermöglichen es, auf die in der [[Prozedurale Programmierung\|prozeduralen Programmierung]] benötigten Zustandsänderungen ausserhalb eines Unterprogrammes, die auch [[Wirkung (Informatik)\|Seiteneffekte]] genannt werden, zu verzichten, falls sie überhaupt möglich sind. Der Verzicht auf die Seiteneffekte vereinfacht auf der einen Seite die semantische Analyse eines Computerprogramms erheblich und eröffnet auf der anderen Seite weitreichende Möglichkeiten zur regelbasierten, algebraischen Programmtransformation und -synthese. Daraus ergibt sich die erhebliche praktische Bedeutung der funktionalen Programmierung für die Informatik.

	Eine weitere Konsequenz ist, dass es in funktionaler Programmierung besonders einfach ist, Algorithmen ohne Berücksichtigung der Beschaffenheit der bearbeiteten Datenobjekte zu beschreiben und dadurch generischen Programmcode zu erstellen. Viele funktionale Verfahren sind so generisch, dass sie seit den 1950er Jahren keiner Anpassung unterworfen werden mussten.		Eine weitere Konsequenz ist, dass es in funktionaler Programmierung besonders einfach ist, Algorithmen ohne Berücksichtigung der Beschaffenheit der bearbeiteten Datenobjekte zu beschreiben und dadurch generischen Programmcode zu erstellen. Viele funktionale Verfahren sind so generisch, dass sie seit den 1950er Jahren keiner Anpassung unterworfen werden mussten.

Der Typo-Fixer: Tippfehler behoben

2025-05-26T20:50:58Z

Tippfehler behoben

← Nächstältere Version		Version vom 26. Mai 2025, 22:50 Uhr
Zeile 38:		Zeile 38:

	== Mathematische Konzepte ==		== Mathematische Konzepte ==
	Die allgemeingültigen Konzepte der funktionalen Programmierung entstammen der Mathematik der 1930er und 1940er Jahre. Von besonderer Bedeutung sind der [[Lambda-Kalkül]] und die [[Kategorientheorie]]. Der Lambda-Kalkül ist ein operatives Regelwerk, mit dessen Hilfe die Bedeutung von symbolischen Ausdrücken bestimmt werden kann. Kategorientheoretisch (Kategorientheorie) sind Datentypen Objekte und Funktionen Morphismen, die zwischen diesen abbilden und für die die gewöhnliche Funktionskomposition als zweistellige, assoziative Verknüpfung und die Identitäts-~~Abblildung~~ als neutrales Element definiert ist. Damit bilden die Funktionen eine „[[Gruppe (Mathematik)\|Gruppe]] ohne das Gesetz vom inversen Element“.		Die allgemeingültigen Konzepte der funktionalen Programmierung entstammen der Mathematik der 1930er und 1940er Jahre. Von besonderer Bedeutung sind der [[Lambda-Kalkül]] und die [[Kategorientheorie]]. Der Lambda-Kalkül ist ein operatives Regelwerk, mit dessen Hilfe die Bedeutung von symbolischen Ausdrücken bestimmt werden kann. Kategorientheoretisch (Kategorientheorie) sind Datentypen Objekte und Funktionen Morphismen, die zwischen diesen abbilden und für die die gewöhnliche Funktionskomposition als zweistellige, assoziative Verknüpfung und die Identitäts-Abbildung als neutrales Element definiert ist. Damit bilden die Funktionen eine „[[Gruppe (Mathematik)\|Gruppe]] ohne das Gesetz vom inversen Element“.

	=== Listen ===		=== Listen ===

Kuhni74: /* Hylomorphismen */diakritische Zeichen

2025-03-06T20:59:26Z

Hylomorphismen: diakritische Zeichen

← Nächstältere Version		Version vom 6. März 2025, 22:59 Uhr
Zeile 92:		Zeile 92:

	=== Hylomorphismen ===		=== Hylomorphismen ===
	Sei <math>(\|z,f\|)</math> ein Katamorphismus und <math>[(p,g)]</math> ein Anamorphismus. Dann ist die Abbildung <math>(\|z,f\|)\circ[(p,g)]</math> ein sogenannter ''Hylomorphismus'' (~~griech. υλη~~ = Holz, Material). Hylomorphismen sind in der Lage, einen ganzen Verarbeitungsprozess darzustellen, innerhalb dessen eine Struktur durch einen Anamorphismus entwickelt und durch einen Katamorphismus wieder eingedampft wird. Diese Darstellung ermöglicht es, die durch den Anamorphismus erzeugte Zwischenstruktur algebraisch zu entfernen.<ref name="Krusenotto">Patrick M. Krusenotto: ''Funktionale Programmierung und Metaprogrammierung.'' Springer, Wiesbaden 2016, S. 217ff, S. 244 ff.</ref> Die daraus resultierende, eigenständige Darstellung des Hylomorphismus ohne Zwischenstruktur führt in der Praxis zu einer erheblichen Reduktion des benötigten Speicherplatzes.		Sei <math>(\|z,f\|)</math> ein Katamorphismus und <math>[(p,g)]</math> ein Anamorphismus. Dann ist die Abbildung <math>(\|z,f\|)\circ[(p,g)]</math> ein sogenannter ''Hylomorphismus'' ({{grcS\|ὕλη\|hýlē\|de=Holz, Material}}). Hylomorphismen sind in der Lage, einen ganzen Verarbeitungsprozess darzustellen, innerhalb dessen eine Struktur durch einen Anamorphismus entwickelt und durch einen Katamorphismus wieder eingedampft wird. Diese Darstellung ermöglicht es, die durch den Anamorphismus erzeugte Zwischenstruktur algebraisch zu entfernen.<ref name="Krusenotto">Patrick M. Krusenotto: ''Funktionale Programmierung und Metaprogrammierung.'' Springer, Wiesbaden 2016, S. 217ff, S. 244 ff.</ref> Die daraus resultierende, eigenständige Darstellung des Hylomorphismus ohne Zwischenstruktur führt in der Praxis zu einer erheblichen Reduktion des benötigten Speicherplatzes.

	Es ist problemlos möglich, einen komplexeren Algorithmus wie den Minimax-Algorithmus, der den besten Zug in einem Zweipersonenspiel wie Schach findet, als Hylomorphismus darzustellen.<ref name="Krusenotto" /> Der Hylomorphismus <math>!=(\|1,\times\|)\circ([(i\mapsto (i<1),i \mapsto [i,i-1])]</math>, der den Katamorphismus <math>(\|1,\times\|)</math> zur Berechnung eines Zahlenprodukts mit dem oben genannten Anamorphismus <math>\iota</math> kombiniert, berechnet die Fakultät einer Zahl.		Es ist problemlos möglich, einen komplexeren Algorithmus wie den Minimax-Algorithmus, der den besten Zug in einem Zweipersonenspiel wie Schach findet, als Hylomorphismus darzustellen.<ref name="Krusenotto" /> Der Hylomorphismus <math>!=(\|1,\times\|)\circ([(i\mapsto (i<1),i \mapsto [i,i-1])]</math>, der den Katamorphismus <math>(\|1,\times\|)</math> zur Berechnung eines Zahlenprodukts mit dem oben genannten Anamorphismus <math>\iota</math> kombiniert, berechnet die Fakultät einer Zahl.

2A02:8071:6400:4120:E43E:FB49:53AF:84E2: /* Funktionale Programmiersprachen */ Delphi in die obere Aufzählung verschoben, da ja kein Unterschied zu C++ oder Java, die das auch erst irgendwann bekamen

2024-08-22T18:20:19Z

Funktionale Programmiersprachen: Delphi in die obere Aufzählung verschoben, da ja kein Unterschied zu C++ oder Java, die das auch erst irgendwann bekamen

← Nächstältere Version		Version vom 22. August 2024, 20:20 Uhr
Zeile 33:		Zeile 33:
	* [[Scala (Programmiersprache)\|Scala]] (2004).		* [[Scala (Programmiersprache)\|Scala]] (2004).

	Fast alle in jüngster Zeit entstandenen Programmiersprachen gestatten funktionale Programmierung. Sprachen, die funktionale Programmierung neben anderen Paradigmen ermöglichen, sind zum Beispiel Perl, ECMAScript, Dylan, Ruby und Visual Basic.NET. Python hat Einschränkungen bei der Formulierung von anonymen Funktionen. Viele eigentlich objektorientierte Sprachen wurden in jüngsten Versionen aufgerüstet wie C++ (ab Version 11) oder Java (ab Version 8). Allerdings leidet darunter die Syntax, sodass die Kompaktheit von LISP oder Haskell nicht erreicht wird.		Fast alle in jüngster Zeit entstandenen Programmiersprachen gestatten funktionale Programmierung. Sprachen, die funktionale Programmierung neben anderen Paradigmen ermöglichen, sind zum Beispiel Perl, ECMAScript, Dylan, Ruby und Visual Basic.NET. Python hat Einschränkungen bei der Formulierung von anonymen Funktionen. Viele eigentlich objektorientierte Sprachen wurden in jüngsten Versionen aufgerüstet wie C++ (ab Version 11), [[Object Pascal\|Delphi]] (ab Version 2009) oder Java (ab Version 8). Allerdings leidet darunter die Syntax, sodass die Kompaktheit von LISP oder Haskell nicht erreicht wird.

	Populäre Programmiersprachen, die keinerlei Möglichkeiten zur funktionalen Programmierung bieten, sind zum Beispiel C und ~~ältere [[Object Pascal\|Delphi]]-Versionen~~.		Populäre Programmiersprachen, die keinerlei Möglichkeiten zur funktionalen Programmierung bieten, sind zum Beispiel C und VBA.

	== Mathematische Konzepte ==		== Mathematische Konzepte ==

Prüm: /* Einzelnachweise */

2024-04-15T04:19:16Z

Einzelnachweise

← Nächstältere Version		Version vom 15. April 2024, 06:19 Uhr
Zeile 333:		Zeile 333:
	<references />		<references />

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

Philipp Sªsse: /* Funktionale Programmiersprachen */

2023-12-11T12:18:25Z

Funktionale Programmiersprachen

← Nächstältere Version		Version vom 11. Dezember 2023, 14:18 Uhr
Zeile 24:		Zeile 24:
	Vornehmlich zur funktionalen Programmierung gedachte Sprachen sind:		Vornehmlich zur funktionalen Programmierung gedachte Sprachen sind:
	* [[Clojure]] (2007)		* [[Clojure]] (2007)
			* [[Elixir (Programmiersprache)\|Elixir]] (2011)
	* [[Erlang (Programmiersprache)\|Erlang]] (1987)		* [[Erlang (Programmiersprache)\|Erlang]] (1987)
	* [[F-Sharp\|F#]] (2002)		* [[F-Sharp\|F#]] (2002)