Lazy Evaluation
Lazy Evaluation oder „call-by-need“: (Teil-) Ausdrücke werden erst dann ausgewertet, wenn sie benötigt werden. Das erlaubt die Definition unendlicher Strukturen. Eager Evaluation (call-by-value) würde sofort alles berechnen.
Select a result to preview
Lazy Evaluation oder „call-by-need“: (Teil-) Ausdrücke werden erst dann ausgewertet, wenn sie benötigt werden. Das erlaubt die Definition unendlicher Strukturen. Eager Evaluation (call-by-value) würde sofort alles berechnen.