Definition

deklarativ: jedes (Teil-)Programm/Ausdruck hat einen Wert

(...und keine weitere (versteckte) Wirkung).

Werte können sein:

• ``klassische'' Daten (Zahlen, Listen, Bäume...)
• Funktionen (Sinus, ...)
• Aktionen (Datei schreiben, ...)