Begriffe:
- nicht strikt: nicht zu früh auswerten
- lazy: höchstens einmal auswerten
bei jedem Konstruktor- und Funktionsaufruf:
- kehrt sofort zurück
- Resultat ist thunk (Paar von Funktion und Argument)
- thunk wird erst bei Bedarf ausgewertet
- Bedarf entsteht durch Pattern Matching
- nach Auswertung: thunk durch Resultat überschreiben
Johannes Waldmann
2014-07-10
