imported>Siphonarius: Änderungen von 2A02:908:1A12:CCE0:1CAE:5729:EA86:F6B6 (Diskussion) auf die letzte Version von Bicycle Tourer zurückgesetzt

2022-11-14T21:30:42Z

Änderungen von 2A02:908:1A12:CCE0:1CAE:5729:EA86:F6B6 (Diskussion) auf die letzte Version von Bicycle Tourer zurückgesetzt

Neue Seite

{{Belege}}
Die '''referenzielle Transparenz''' besagt, dass ein [[Ausdruck (Programmierung)|Ausdruck]] mit seinem Wert ersetzt werden kann, ohne das Verhalten des Programms zu ändern. Dies bedeutet, dass der Ausdruck pur ist, also für gleiche Eingabewerte das gleiche Ergebnis liefert und keine [[Seiteneffekt|Seiteneffekte]] hat.<ref>{{Internetquelle |autor=HaskellWiki contributors |url=https://wiki.haskell.org/Referential_transparency |titel=Referential transparency |werk=HaskellWiki |abruf=2021-03-21 |sprache=en}}</ref> Dies ist eine wichtige Eigenschaft des [[Funktionale Programmierung|funktionalen Programmierparadigmas]].

Außerdem ermöglicht dies ''Programmtransformationen'', also die Ersetzung von ''aufwändig'' durch ''einfach'' zu berechnende Ausdrücke.

Das Prinzip der referenziellen Transparenz wirft aber auch Probleme auf. So ist das einfache Auslesen eines mit der Tastatur eingegebenen Zeichens nicht direkt möglich; solch eine Funktion – wie [[Eingabe (Computer)|<code>getchar</code>]] in [[C (Programmiersprache)|C]] – ist nicht erlaubt. Jedes Mal wäre der Rückgabewert abhängig von der Eingabe des Benutzers. Damit entstünden Kommunikationsprobleme mit der Umgebung.

So werden z. B. in der funktionalen Programmiersprache [[Haskell (Programmiersprache)|Haskell]] Aktionen, die mit der Umgebung interagieren können, als Werte des Datentyps <code>IO</code> beschrieben. Mittels spezieller Operatoren können aus elementaren Aktionsbeschreibungen komplexe Beschreibungen konstruiert werden. Jedes Haskell-Programm definiert eine Variable <code>main</code>, deren Wert eine Aktionsbeschreibung des gesamten Programms ist. Aktionen können ausgeführt werden, indem ihre Beschreibung in den Wert von <code>main</code> eingebettet wird.

== Einzelnachweise ==
<references />

[[Kategorie:Programmierung]]

Referenzielle Transparenz - Versionsgeschichte

imported>Siphonarius: Änderungen von 2A02:908:1A12:CCE0:1CAE:5729:EA86:F6B6 (Diskussion) auf die letzte Version von Bicycle Tourer zurückgesetzt