Funktionale Programmierung SS 2013 - Folie 303
Ziele:
Call-by-need verstehen
in der Vorlesung:
An Beispielen wird erläutert:
- alternative Aufruf-Semantik: Grundlage für lazy evaluation,
- Graph-Substitution,
- nicht-strikte bedingter Ausdruck ist formulierbar,
- nicht-endliche Datenstrukturen sind benutzbar,
- aber zero(E) liefert 0, sogar wenn die Auswertung von E nicht terminiert! Aufruf von zero wird nicht strikt ausgewertet.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 29.04.2013