Lazy evaluation performs implicit side effects, which in some cases (and with RT as a premise) allows for better asymptotic complexity than eager evaulation. F

Lazy evaluation performs implicit side effects, which in some cases (and with RT as a premise) allows for better asymptotic complexity than eager evaulation. For an example see this paper: "More haste, less speed: lazy versus eager evaluation" by Richard Bird, Geraint Jones, Oege De Moor http://journals.cambridge.org/action/displayAbstract?aid=44113 http://journals.cambridge.org/action/displayAbstract?aid=441... ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Geraint.Jones/FP-1-96.ps.Z