\begin{slide}{Zustands-Objekte (Bemerkung)}

wiederverwendbare Komponenten dürfen \emph{keinen} Zustand enthalten.
(vgl.: Unterprogramme dürfen keine globalen Variablen benutzen)


Zustand muß explizit gemacht werden (durch Zustands-Objekte)


in der (reinen) funktionalen Programmierung passiert das von selbst:
dort \emph{gibt es keine Zuweisungen}
(nur const-Deklarationen mit einmaliger Initialisierung).

damit kann man Programmeigenschaften viel leichter beweisen
(es gibt keinen versteckten Programmzustand).

alle Datenstrukturen sind automatisch persistent,
weil nichts zerstört/überschrieben werden kann.

\end{slide}
