imported>DynaMoToR: /* Einzelnachweise */

2024-04-15T04:07:41Z

Einzelnachweise

Neue Seite

Eine '''algebraische Programmiersprache''' erfüllt die Eigenschaften der [[Referenzielle Transparenz|referenziellen Transparenz]]. Das Konzept ist verwandt mit demjenigen [[Funktionale Programmiersprache|funktionaler Programmiersprachen]].

== Termumformungen von Gleichungen und neue Sprachen ==

Für Termumformungen von Gleichungen in der [[Algebra]] (bzw. Programmcode in [[Programmiersprache]]n) müssen Regeln wie das [[Kommutativgesetz]] oder das [[Distributivgesetz]] gelten. Die Regeln sind allerdings für den Programmcode in vielen Programmiersprachen nicht umsetzbar, da Nebeneffekte – wie Änderung globaler [[Variable (Programmierung)|Variablen]] und [[Eingabe und Ausgabe|IO]]-Aktionen – in den [[Funktion (Programmierung)|Funktionen]] erlaubt sind und somit diese Regeln aufheben.

[[John W. Backus]] erkannte diesen Sachverhalt. Als er 1978 den [[Turing Award]] erhielt, schlug er in seinem Vortrag die [[FP-System]]e vor und zeigte Beispiele weiterer Termumformungsregeln.<ref>John Backus: ''Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs.'' In: ''Communications of the ACM.'' Vol. 21, No. 8, August 1978, S. 613–641 ([http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf PDF; 3,0 MB]
), ([https://web.archive.org/web/20210130073705/http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf Archive.org; 30. Januar 2021])</ref>

Die FP-Systeme vermieden allerdings grundsätzlich Variablen, was er in englischer Sprache „Function-level programming“ nannte. Heute wird auch der [[Lambda-Kalkül]] in [[Funktionale Programmierung|rein funktionalen Programmiersprachen]] verwendet, es wird dann auf [[Zuweisung|Variablenzuweisungen]] verzichtet, was es nötig macht, [[Schleife (Programmierung)|Schleifen]] durch [[Rekursion]] zu ersetzen.

== Vorschlag algebraische Programmiersprache ==

Der Begriff ''algebraische Programmiersprache'' soll die Formulierungen ''function-level programming'' und ''rein funktionale Programmiersprache'' zusammenfassen, da algebraische Regeln und referenzielle Transparenz, die diese Regeln in Programmiersprachen ermöglicht, eng zusammenstehen.

== Einzelnachweise ==

<references />

[[Kategorie:Programmiersprachklasse]]

Algebraische Programmiersprache - Versionsgeschichte

imported>DynaMoToR: /* Einzelnachweise */