Lazy Evaluation
Lazy evaluation does not speculate. The incorporation of speculative execution into implementations of the Haskell programming language is a current research topic. Eager Haskell is designed around the idea of speculative execution. Recent versions of GHC support a kind of speculative execution with an abortion mechanism to back out in case of a bad choice called optimistic execution.
Read more about this topic: Speculative Execution
Famous quotes containing the words lazy and/or evaluation:
“I wish thee peace in all thy ways,
Nor lazy nor contentious days;
And when thy soul and body part,
As innocent as now thou art.”
—Richard Corbet (1582–1635)
“Evaluation is creation: hear it, you creators! Evaluating is itself the most valuable treasure of all that we value. It is only through evaluation that value exists: and without evaluation the nut of existence would be hollow. Hear it, you creators!”
—Friedrich Nietzsche (1844–1900)