imported>Polluks: /* Einzelnachweise */ Archiv

2025-02-27T15:57:31Z

Einzelnachweise: Archiv

Neue Seite

In der [[Theoretische Informatik|theoretischen Informatik]] bezeichnet eine (spezifizierte) '''Wirkung''' die Veränderung des Zustands, in dem sich eine [[abstrakte Maschine]] befindet.<ref name="Appelrath1999" /> Manchmal wird auch von '''Seiteneffekt''' gesprochen, eine Bezeichnung, die auf eine [[Übersetzungsschwierigkeit #Wortneubildungen durch Rückübersetzung|Rückübersetzung]] des englischen ''side effect'' (deutsch: [[Nebenwirkung]]) zurückgeht.

[[Ausdruck (Programmierung)|Ausdrücke]] und [[Funktion (Programmierung)|Funktion]]en können sein:
* wirkungsbehaftet
** mit spezifizierten Wirkungen (s. u.): in den meisten [[Programmiersprache]]n kann die [[Auswertung (Informatik)|Auswertung]] eines Ausdrucks eine spezifizierte Wirkung haben.
** mit unspezifizierten Wirkungen (s. u.): dazu gehören z. B. in der Regel alle Funktionen, die mit der [[Eingabe (Computer)|Ein-]] oder [[Ausgabe (Computer)|Ausgabe]] von Daten zu tun haben.
* wirkungsfrei: dazu gehören in [[Höhere Programmiersprache|Hochsprache]]n etwa [[mathematische Funktionen]] wie [[Sinus]], [[Kosinus]] oder [[Quadratwurzel]].

== Spezifizierte Wirkungen ==
Eine [[Variable (Programmierung)|Variable]] repräsentiert zu jedem Zeitpunkt des [[Programmablauf]]es einen ganz bestimmten Wert. Die Gesamtheit aller Variablen und ihrer Werte definiert den [[Prozesskontext #Der Kontext von Prozessen eines Betriebssystems|Programmzustand]] einer abstrakten Maschine (siehe [[operationale Semantik]]). Dieser Zustand kann nur durch [[Operation (Informatik)|Operationen]] mit spezifizierten Wirkungen verändert werden.<ref name="Appelrath1999" />

== Unspezifizierte Wirkungen ==
Von diesen spezifizierten Wirkungen zu unterscheiden sind die unspezifizierten Wirkungen, die außerhalb der Betrachtung des Systems liegen. Dazu kann beispielsweise, je nach Definition, die Bildschirmausgabe gehören. Unspezifizierte Effekte werden für die abstrakte Maschine ggf. ''nicht'' berücksichtigt.

== Wirkungsfreiheit der rein funktionalen Programmierung ==
In [[Funktionale Programmierung #Rein funktionale Programmiersprachen|rein funktionalen Programmiersprachen]] hat die Auswertung eines Ausdrucks im Unterschied zu anderen Programmiersprachen niemals eine spezifizierte Wirkung (eine Wirkung in Form der Ausgabe eines Ergebnisses ist in diesem Fall keine spezifizierte Wirkung). Es gibt in solchen Sprachen keine [[Anweisung (Programmierung)|Anweisungen]], daher auch keine Variablen oder Werte[[zuweisung]]en, sondern nur [[Ausdruck (Programmierung)|Ausdrücke]]. In der rein funktionalen Programmierung treten deshalb keine Zustandsänderungen im Sinne der obigen Definition und somit auch keine Wirkungen auf;<ref name="Informatik-Handbuch" /> die Programmiersprache ist [[zustandslos]] und wirkungsfrei.<ref name="Informatik-Handbuch">P. Rechenberg, G. Pomberger: ''Informatik-Handbuch''. Carl Hanser Verlag, München/Wien 2006, ISBN 978-3-446-40185-3.</ref><ref name="Wagenknecht">C. Wagenknecht: ''Programmierparadigmen''. Teubner, Wiesbaden 2004, ISBN 978-3-519-00512-4.</ref><ref name="Wagenknecht" />

Diese Eigenschaft einer Programmiersprache wird als [[referenzielle Transparenz]] bezeichnet. Sie besagt, dass der Wert eines Ausdrucks nur von seiner Umgebung abhängt und nicht vom Zeitpunkt oder einer bestimmten Reihenfolge der Auswertung.<ref name="Schiedermeier">C. Schiedermeier: {{Webarchiv|text=''Funktionales Programmieren''. |url=http://www.informatik.fh-nuernberg.de/Professors/Schiedermeier/SS_2002/FunProg/Vorlesung/FunProg_SS2002.pdf |wayback=20050522010631 }} (PDF) Nürnberg 2002.</ref> Beispiele für gänzlich wirkungsfreie Sprachen sind die rein funktionalen Programmiersprachen [[Haskell (Programmiersprache)|Haskell]], [[Elm (Programmiersprache)|Elm]] oder reines [[Lisp]] (''pure Lisp'').

=== Beispiel ===
Das folgende, mit seinen Klammern und der [[Präfixnotation]] für eine Sprache wie Lisp oder Scheme typische Beispielprogramm liefert abhängig von einer Bedingung eines von zwei möglichen Berechnungsergebnissen zurück:

<syntaxhighlight lang="Lisp">
(if (= a 0)
(+ a 1)
(* a 2))
</syntaxhighlight>

Es findet keine Zuweisung des Ergebnisses zu einer Variable statt. Insbesondere hat die Reihenfolge der Auswertung der einzelnen Funktionen (<code>if</code>, <code>=</code>, <code>+</code> und <code>*</code>) keinen Einfluss auf das Ergebnis: jeder Ausdruck kann an jeder Stelle durch seinen Wert ersetzt werden; das ist die referenzielle Transparenz.

=== Funktionale, aber nicht rein funktionale Programmierung ===
In anderen funktionalen Programmiersprachen wie etwa [[Scheme]] können [[Prozedur (Programmierung)|Prozedur]]<nowiki/>aufrufe die Werte von Variablen verändern (spezifizierte Wirkung) oder Bildschirmausgaben auslösen (unspezifizierte Wirkung). Dadurch geht die referenzielle Transparenz verloren, und Scheme ist damit keine rein funktionale, sondern „nur“ eine [[Funktionale Programmierung|funktionale Sprache]].<ref name="Schiedermeier" /> Um diese Eigenschaft in der für Lehrzwecke eingesetzten Sprache Scheme hervorzuheben, werden wirkungsbehaftete Prozeduren mit einem Ausrufezeichen gekennzeichnet, z. B. in der Variablenzuweisung <code style="white-space:nowrap">(set! a 2)</code>.

== Einzelnachweise ==
<references>
<ref name="Appelrath1999">
Hans-Jürgen Appelrath, Jochen Ludewig: [https://web.archive.org/web/20180520053046/http://www.iste.uni-stuttgart.de/fileadmin/user_upload/iste/se/research/publications/Skriptum_HJAx_JL_MEDOC/Skriptum_Informatik/41.html ''Skriptum Informatik - eine konventionelle Einführung''.] Version vom 11. Februar 1999; Archiv vom 20. Mai 2018
</ref>
</references>

[[Kategorie:Informationstheorie]]

Wirkung (Informatik) - Versionsgeschichte

imported>Polluks: /* Einzelnachweise */ Archiv